1596 search results - page 202 / 320 » Human-Guided Simple Search |
145
click to vote
CSL
2003
Springer
15 years 9 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
139
click to vote
DEXA
2003
Springer
15 years 9 months ago
2003
Springer
Moving-objects databases need a spatio-temporal indexing scheme for moving objects to efficiently process queries over continuously changing locations of the objects. A simple exte...
108
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...
199
click to vote
COMPGEOM
2010
ACM
15 years 9 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...
125
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we proposed a method for solving the rectangle piece jigsaw puzzle assembly problem. A shape of a piece is a rectangle, and a picture of a puzzle is only painted in...