330 search results - page 22 / 66 » Reflections on a programming Olympiad |
AAAI
2000
14 years 8 days ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
ICIP
2004
IEEE
15 years 16 days ago
2004
IEEE
In this paper we describe an approach that uses a combination of visual and audio features to cluster shots belonging to the same person together in video programs. We use color h...
PDC
2004
ACM
14 years 4 months ago
2004
ACM
Over the past seven years, we have been conducting a variety of participatory design activities with research biologists, programmers, and bioinformaticians at the Institut Pasteu...
VLDB
1999
ACM
14 years 3 months ago
1999
ACM
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...
FSTTCS
2000
Springer
14 years 2 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...