4378 search results - page 603 / 876 » On the Complexity of Ordered Colourings |
153
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
184
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
172
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
This paper details the development, implementation, and results of Synthia, a system for the synthesis of Finite State Machines (FSMs) to field-programmable logic. Our approach us...
217
click to vote
CA
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a new approach for establishing correspondence between two homeomorphic 3D polyhedral models. The user can specify corresponding feature pairs on the polyhedra with a s...