15754 search results - page 626 / 3151 » Programs are Knowledge Bases |
221
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...
212
click to vote
KCAP
2003
ACM
16 years 15 days ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
206
click to vote
ICAIL
2003
ACM
16 years 15 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
256
click to vote
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
191
click to vote
ICPP
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper evaluates the performance of a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. View-Oriented Parallel Programming is based...