4573 search results - page 718 / 915 » Automated Reasoning |
125
click to vote
JAIR
2006
15 years 3 months ago
2006
Resolution is the rule of inference at the basis of most procedures for automated reasoning. In these procedures, the input formula is first translated into an equisatisfiable for...
112
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
148
Voted
DM
2011
14 years 7 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
154
Voted
DM
2011
14 years 7 months ago
2011
We show that regular median graphs of linear growth are the Cartesian product of finite hypercubes with the two-way infinite path. Such graphs are Cayley graphs and have only tw...
216
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...