7820 search results - page 356 / 1564 » Formalization of Time and Space |
173
click to vote
CNL
2009
15 years 8 months ago
2009
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
186
click to vote
AMAI
2000
Springer
15 years 12 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
234
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
165
click to vote
MIAR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...
250
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...