9405 search results - page 286 / 1881 » Computing a Model of Set Theory |
116
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
166
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
147
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
148
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
When an image is viewed at varying resolutions, it is known to create discrete perceptual jumps or transitions amid the continuous intensity changes. In this paper, we study a per...
149
click to vote
IJVR
2008
15 years 4 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...