6608 search results - page 976 / 1322 » On the Completeness of Model Checking |
187
click to vote
WISES
2004
15 years 8 months ago
2004
-- In this paper a Rapid Prototyping Framework and next steps towards the support for interactive Architecture Exploration based on the SPEAR processor core (Scalable Processor for...
174
click to vote
MAICS
2003
15 years 8 months ago
2003
In this paper we present a system that uses its underlying physiology, a hierarchical memory and a collection of memory management algorithms to learn concepts as cases and to bui...
210
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose a novel algorithmic framework to solve an integrated planning and scheduling problem in supply chain management. This problem involves the integration of an inventory m...
179
click to vote
BMVC
1998
15 years 8 months ago
1998
A novel technique for multi-scale smoothing of a free-form 3-D surface is presented. Complete triangulated models of 3-D objects are constructed (through fusion of range images) a...
199
click to vote
ICMAS
1998
15 years 8 months ago
1998
Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the ...