2478 search results - page 203 / 496 » Quadtrees as an Abstract Domain |
167
click to vote
PATAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
184
click to vote
PCM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
162
click to vote
SAT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
151
click to vote
SBIA
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Enterprise delegates Agents’ Negotiation is a simpler task if the enterprises involved in the transaction have homogeneous representation structures as well as the same...
183
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...