1900 search results - page 301 / 380 » The Four Phase Method for Modelling Complex Systems |
FORMATS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
Objects vary in their visual complexity, yet existing discovery methods perform “batch” clustering, paying equal attention to all instances simultaneously—regardless of the ...
104
click to vote
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The process of managing inconsistency is a fundamental activity that permeates a large part of the systems development process. Failure to identify inconsistencies may lead to maj...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...