Sciweavers

7092 search results - page 1254 / 1419
» Parallelizing constraint programs
Sort
View
WSC
2004
13 years 9 months ago
Stream Option Manager
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
William P. Niedringhaus, Michael J. White, Patrick...
WSC
2004
13 years 9 months ago
Simulation Experiment for Improving Construction Processes
From the perspective of flow analysis, the more complex the project, the more wastes are prone to build up, due to the increasing number of interfaces between activities. When pro...
Shihyi Wang, Daniel W. Halpin
AAAI
2000
13 years 9 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
INTERACT
1997
13 years 9 months ago
GroupScape: Integrating Synchronous Groupware and the World Wide Web
Synchronous groupware applications support people collaborating in real time over a distance. The world wide web supports asynchronous collaboration by allowing people to share dis...
T. C. Nicholas Graham
WOA
2000
13 years 9 months ago
Implementing Autonomous Reactive Agents by Using Active Objects
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
Giuliano Armano, Eloisa Vargiu
« Prev « First page 1254 / 1419 Last » Next »