1397 search results - page 181 / 280 » On the Need for Practical Formal Methods |
124
click to vote
INTERACT
2003
15 years 6 months ago
2003
: The HCI community has long been accused of delivering ‘common sense’, ‘useless’ information, and to be ignorant of business needs. HCI experts are also criticized for fai...
135
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
153
click to vote
ICANN
2011
Springer
14 years 8 months ago
2011
Springer
Currently the most accurate WLAN positioning systems are based on the fingerprinting approach, where a “radio map” is constructed by modeling how the signal strength measureme...
116
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
With the emergence of new applications centered around the sharing of image data, questions concerning the protection of the privacy of people visible in the scene arise. Recently...
241
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
We identify and formalize a novel join operator for two spatial pointsets P and Q. The common influence join (CIJ) returns the pairs of points (p, q), p P, q Q, such that there e...