3731 search results - page 299 / 747 » cases 2006 |
133
click to vote
ACIVS
2006
Springer
16 years 22 days ago
2006
Springer
In general, the less probable an event, the more attention we pay to it. Likewise, considering visual perception, it is interesting to regard important image features as those that...
174
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
150
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...
188
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
166
click to vote
AIML
2006
15 years 8 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...