1138 search results - page 111 / 228 » Parallel Implementation of Constraint Solving |
313
click to vote
COSIT
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
155
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper describes the design and implementation of a digital ink recognition server for handwritten Japanese text. Currently, fast and accurate recognition of online handwri...
140
click to vote
IEICET
2006
15 years 5 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
151
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
124
click to vote
PADL
2007
Springer
15 years 11 months ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...