Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Computing Methodologies (I) > Artificial Intelligence (I.2) > Knowledge Representation Formalisms And Methods (I.2.4) > Relation Systems (I.2.4...)  
  1-10 of 23 Reviews about "Relation Systems (I.2.4...)": Date Reviewed
  Exploiting qualitative spatial reasoning for topological adjustment of spatial data
Wallgrün J.  SIGSPATIAL 2012 (Proceedings of the 20th International Conference on Advances in Geographic Information Systems, Redondo Beach, CA,  Nov 6-9, 2012) 229-238, 2012. Type: Proceedings

Suppose you have collected geographic information about a collection of objects and their positions. Their shapes are recorded accurately, but their positions may be misrecorded or misperceived. You additionally have information constraining the t...

Jan 25 2013
  What causes a system to satisfy a specification?
Chockler H., Halpern J., Kupferman O.  ACM Transactions on Computational Logic 9(3): 1-26, 2008. Type: Article

Properties of finite state systems can be expressed using temporal languages; checking whether a given system satisfies the properties specified is an interesting verification problem. There are tools that provide estimations on how well the testi...

Aug 20 2008
  Beginning VB 2008 databases: from novice to professional
Agarwal V., Huddleston J.,  Apress, Berkeley, CA, 2008. 409 pp. Type: Book (9781590599471)

As I usually work with Visual Basic (VB) and databases, I definitely enjoyed reading this book. I was pleasantly surprised at the ease in understanding the text....

Jul 21 2008
  Precise widening operators for convex polyhedra
Bagnara R., Hill P., Ricci E., Zaffanella E.  Science of Computer Programming 58(1-2): 28-56, 2005. Type: Article

Automated analysis that uses abstract interpretation techniques for complex systems, like software and hybrid-system models, involves computing fixpoints of the sequence of approximate behavior structures of the systems. In general, the sequence i...

May 5 2006
  Adaptability and diversity in simulated turn-taking behavior
Iizuka H., Ikegami T.  Artificial Life 10(4): 361-378, 2004. Type: Article

Iizuka and Ikegami have done a great job of presenting their interesting research results. The authors created some virtual robots to participate in interaction simulations, in which the robots performed turn-taking behaviors, imitation, and role-...

Oct 27 2005
  Learning rules for conceptual structure on the Web
Han H., Elmasri R.  Journal of Intelligent Information Systems 22(3): 237-256, 2004. Type: Article

Mining the World Wide Web (WWW) for useful information has become an important research topic. The challenge is to retrieve documents that match a conceptual structure, rather than keywords. It is difficult for machines to accurately determine the...

Oct 29 2004
  Pretopologies and dynamic spaces
Pagliani P.  Fundamenta Informaticae 59(2-3): 221-239, 2004. Type: Article

The mathematical background for this work is Pawlak’s rough set theory [1], an approach to the analysis of data that has generated a certain amount of interest in Europe over the past generation. In this paper, the author introduces the noti...

Sep 7 2004
  Compositional verification of knowledge-based task models and problem-solving methods
Cornelissen F., Jonker C., Treur J.  Knowledge and Information Systems 5(3): 337-367, 2003. Type: Article

The authors propose a formal model for the compositional verification of knowledge-based systems. The paper is well structured and organized. It uses clear and simple English expressions that are easy to understand. The formal definitions are intr...

Feb 12 2004
  Sweetening WordNet with Dolce
Gangemi A., Guarino N., Masolo C., Oltramari A.  AI Magazine 24(3): 13-24, 2003. Type: Article

WordNet [1] is an online lexical reference that uses psycholinguistically derived relationships to organize approximately 115,000 synonym sets, containing 150,000 English words. WordNet has been attractive to a number of artificial intelligence (A...

Feb 5 2004
  Preferences and explanations
Pino-Pérez R., Uzcátegui C.  Artificial Intelligence 149(1): 1-30, 2003. Type: Article

A central theme in the study of human reasoning is the construction of explanations. Abduction is explanatory reasoning. It is a reasoning process to produce possible explanations and select the best ones for an observation. Abduction is not restr...

Jan 14 2004
Display per page
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy