4850 search results - page 614 / 970 » Proof and Computation in Geometry |
167
Voted
LICS
2003
IEEE
16 years 4 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
177
Voted
GCC
2003
Springer
16 years 2 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
189
click to vote
GD
2003
Springer
16 years 2 days ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
142
Voted
GECCO
2003
Springer
16 years 2 days ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
183
click to vote
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Performance analysis of real applications in clusters and GRID like environments is essential to fully exploit the performance of new architectures. The key problem is the deepenin...