4126 search results - page 466 / 826 » Set based logic programming |
138
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...
141
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
120
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
In the symbol recognition stage of online handwritten math expression recognition, the one-pass dynamic programming algorithm can produce high-quality symbol graphs in addition of...
130
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a novel 2D/3D approach for 3D model matching and retrieving. Each model is represented by a set of depth lines which will be afterward transformed into s...
111
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
Exploring a graph through search is one of the most basic building blocks of various applications. In a setting with a huge state space, such as in testing and verification, optim...