9359 search results - page 886 / 1872 » Generalization Algorithms for Second-Order Terms |
231
click to vote
AUSAI
2003
Springer
16 years 27 days ago
2003
Springer
The distributed constraint satisfaction problem (CSP) is a general formalisation used to represent problems in distributed multiagent systems. To deal with realistic problems, mult...
166
click to vote
CAV
2003
Springer
16 years 27 days ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
214
click to vote
FPGA
2003
ACM
16 years 26 days ago
2003
ACM
In this paper, we present the first exact algorithm to solve the constrained I/O placement problem for FPGAs that support multiple I/O standards. We derive a compact integer line...
180
click to vote
ICMI
2003
Springer
16 years 26 days ago
2003
Springer
This paper presents a low-cost and practical approach to achieve basic input using a tactile cube-shaped object, augmented with a set of sensors, processor, batteries and wireless...
224
click to vote
COMPGEOM
2010
ACM
16 years 22 days ago
2010
ACM
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...