Sciweavers

3214 search results - page 570 / 643
» The Space of Human Shapes
Sort
View
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 6 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
SIGMOD
2003
ACM
121views Database» more  SIGMOD 2003»
16 years 6 months ago
An environmental sensor network to determine drinking water quality and security
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
Anastassia Ailamaki, Christos Faloutsos, Paul S. F...
IUI
2010
ACM
16 years 3 months ago
Raconteur: from intent to stories
When editing a story from a large collection of media, such as photos and video clips captured from daily life, it is not always easy to understand how particular scenes fit into ...
Pei-Yu Chi, Henry Lieberman
IUI
2009
ACM
16 years 3 months ago
Understanding the intent behind mobile information needs
Mobile phones are becoming increasingly popular as a means of information access while on-the-go. Mobile users are likely to be interested in locating different types of content. ...
Karen Church, Barry Smyth
CSCW
2010
ACM
16 years 3 months ago
Multiple mouse text entry for single-display groupware
A recent trend in interface design for classrooms in developing regions has many students interacting on the same display using mice. Text entry has emerged as an important proble...
Saleema Amershi, Meredith Ringel Morris, Neema Mor...