929 search results - page 35 / 186 » Computer assistance for model definition |
138
click to vote
LOGCOM
2010
14 years 6 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
107
click to vote
ICMCS
2008
IEEE
15 years 6 months ago
2008
IEEE
Graphics and vision are approximate inverses of each other: ordinarily Graphics Processing Units (GPUs) are used to convert “numbers into pictures” (i.e. computer graphics). I...
91
Voted
SAINT
2008
IEEE
15 years 6 months ago
2008
IEEE
We describe our development work of tools for data collection and data management for wearable and ubiquitous computing. By embedding different kinds of sensory devices on the us...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Sensors are often indicative of events of interest, or events which a system should be aware of and should react to. In particular, such indications may reflect unsteadiness or in...
106
click to vote
FCS
2006
15 years 1 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...