Sciweavers

786 search results - page 58 / 158
» A System for Semi-Automatic Modeling of Complex Environments
Sort
View
IJCAI
1993
15 years 1 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
IVC
2000
104views more  IVC 2000»
14 years 11 months ago
Learning spatio-temporal patterns for predicting object behaviour
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...
Neil Sumpter, Andrew J. Bulpitt
WSC
2007
15 years 2 months ago
Simulation assisted match-up rescheduling of flexible production systems subject to execution exceptions
An immense amount of research work has been done in the areas of scheduling and re-scheduling of various types of manufacturing systems. In this paper we present a simulation assi...
Wilhelm Dangelmaier, Kiran R. Mahajan, Mark Aufena...
HICSS
2009
IEEE
114views Biometrics» more  HICSS 2009»
15 years 3 months ago
Groupware for Design: An Interactive System to Facilitate Creative Processes in Team Design Work
Creativity as modeled using the recluse genius paradigm fails to recognize the necessity and value of the collaborative aspects involved. Enhancing the creative output of teams wi...
Arjun Venkataswamy, Rajinder Sodhi, Yerkin Abdildi...
SIGUCCS
2003
ACM
15 years 5 months ago
Enforcing model network citizenship by remote administration
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
Prasun Gupta, Mahmoud Pegah