6456 search results - page 360 / 1292 » Constraint Solving on Terms |
181
click to vote
ATMOS
2010
15 years 5 months ago
2010
The aim of the train timetabling problem is to find a conflict free timetable for a set of passenger and freight trains along their routes in an infrastructure network. Several ...
193
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
212
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
This paper presents a novel method to increase the accuracy
of linear fitting of implicit polynomials. The proposed
method is based on the 3L algorithm philosophy. The novelty
l...
358
click to vote
COSIT
2011
Springer
14 years 6 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...
186
click to vote
ICDAR
2011
IEEE
14 years 6 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...