400 search results - page 37 / 80 » Moving Proofs-As-Programs into Practice |
115
click to vote
MMM
2007
Springer
15 years 10 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...
121
click to vote
VOTEID
2007
Springer
15 years 10 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...
151
click to vote
BROADNETS
2006
IEEE
15 years 10 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...
125
click to vote
ICMB
2005
IEEE
15 years 9 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...
130
click to vote
ITCC
2005
IEEE
15 years 9 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...