8828 search results - page 181 / 1766 » Formal methods in practice |
141
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...
134
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Due to their ease of use and availability, pan-tilt-zoom (PTZ) cameras are everywhere. However, in order to utilize these cameras for a meaningful application, it is necessary tha...
206
click to vote
SSD
1993
Springer
15 years 8 months ago
1993
Springer
Topological relationships between spatial objects represent important knowledge that users of geographic information systems expect to retrieve from a spatial database. A di cult t...
137
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
135
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...