400 search results - page 37 / 80 » Moving Proofs-As-Programs into Practice |
MMM
2007
Springer
14 years 1 months ago
2007
Springer
We propose a method for tracking an object from a video sequence of moving background through the use of the proximate distribution densities of the local regions. The discriminati...
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
It is debatable if current direct-recording electronic voting machines can sufficiently be trusted for a use in elections. Reports about malfunctions and possible ways of manipulat...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
— A camera sensor network is a wireless network of cameras that are designed for ad-hoc deployment. The camera sensors in such a network need to be properly calibrated by determi...
ICMB
2005
IEEE
14 years 1 months ago
2005
IEEE
The widespread adoption of wireless LAN has paved the way for the emergence of a compelling alternative to cellular networks for obtaining Internet access on the move. This has ge...
ITCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...