4513 search results - page 741 / 903 » Logic programming with satisfiability |
113
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
: We develop a multiresolution approach to the problem of polygonal curve approximation. We show theoretically and experimentally that, if the simplification algorithm A used betwe...
120
click to vote
ENTCS
2007
15 years 3 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
147
Voted
JUCS
2006
15 years 3 months ago
2006
Abstract: Pseudorandom number generators are widely used in the area of simulation. Defective generators are still widely used in standard library programs, although better pseudor...
99
Voted
INFORMATICALT
2007
15 years 3 months ago
2007
This paper is concerned with an employee scheduling problem involving multiple shifts and work centers, where employees belong to a hierarchy of categories having downward substitu...
94
Voted
TKDE
2008
15 years 3 months ago
2008
We present a new adaptive and energy-efficient broadcast model to support flexible responses to client queries. Clients do not have to request documents by name, since they may kno...