1855 search results - page 49 / 371 » System Consequence |
103
click to vote
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
107
click to vote
TSP
2012
13 years 7 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
118
click to vote
ICFEM
1997
Springer
15 years 4 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
117
click to vote
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
MABS
2007
Springer
15 years 6 months ago
2007
Springer
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...