Sciweavers

3357 search results - page 338 / 672
» Controlling Complexity
Sort
View
DEXAW
2008
IEEE
98views Database» more  DEXAW 2008»
16 years 1 months ago
Interface for Multidisciplinary Virtual Prototype Components
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
Stephan Vornholt, Ingolf Geist
DALT
2005
Springer
16 years 6 days ago
Modelling Uncertainty in Agent Programming
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
Johan Kwisthout, Mehdi Dastani
165
Voted
ECAL
1999
Springer
15 years 11 months ago
Framsticks: Towards a Simulation of a Nature-Like World, Creatures and Evolution
In this paper we describe our attempt to create a nature-like simulation model of artificial creatures. The model includes physical simulation of creatures, their interaction with ...
Maciej Komosinski, Szymon Ulatowski
WSC
1998
15 years 8 months ago
Visual Simulation Environment
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
Osman Balci, Anders I. Bertelrud, Chuck M. Esterbr...
FOSSACS
2000
Springer
15 years 10 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses