4346 search results - page 624 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
131
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
153
click to vote
IJCAI
1997
15 years 5 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
149
click to vote
INFFUS
2007
15 years 3 months ago
2007
The Swedish Defence Research Agency (FOI) has developed a concept demonstrator called the Information Fusion Demonstrator 2003 (IFD03) for demonstrating information fusion methodo...
155
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
Recent progress in acquiring shape from range data permits the acquisition of seamless million-polygon meshes from physical models. In this paper, we present an algorithm and syst...
142
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...