Sciweavers

7118 search results - page 348 / 1424
» Electrical and Computer Engineering
Sort
View
AAAI
2011
14 years 6 months ago
Towards Large-Scale Collaborative Planning: Answering High-Level Search Queries Using Human Computation
Behind every search query is a high-level mission that the user wants to accomplish. While current search engines can often provide relevant information in response to well-speciļ...
Edith Law, Haoqi Zhang
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
16 years 1 months ago
Computational Evaluation of Software Security Attributes
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
Gwendolyn H. Walton, Thomas A. Longstaff, Richard ...
HICSS
2007
IEEE
222views Biometrics» more  HICSS 2007»
16 years 1 months ago
Battery-Sensing Intrusion Protection for Wireless Handheld Computers Using a Dynamic Threshold Calculation Algorithm for Attack
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...
Timothy Buennemeyer, Faiz Munshi, Randy C. Marchan...
UIST
2006
ACM
16 years 20 days ago
Robust computer vision-based detection of pinching for one and two-handed gesture input
We present a computer vision technique to detect when the user brings their thumb and forefinger together (a pinch gesture) for close-range and relatively controlled viewing circu...
Andrew D. Wilson
ICFEM
2005
Springer
16 years 7 days ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider