4460 search results - page 666 / 892 » Formal methods for interactive systems |
181
Voted
GRAPHICSINTERFACE
2000
15 years 6 months ago
2000
This paper describes a texture generation technique that combines orientation and luminance to support the simultaneous display of multiple overlapping scalar fields. Our orientat...
153
click to vote
HUC
2010
Springer
15 years 5 months ago
2010
Springer
We present a method to identify and localize people by leveraging existing CCTV camera infrastructure along with inertial sensors (accelerometer and magnetometer) within each pers...
111
click to vote
BIOINFORMATICS
2007
15 years 5 months ago
2007
We address the problem of using expression data and prior biological knowledge to identify differentially expressed pathways or groups of genes. Following an idea of Ideker et al...
222
click to vote
SMA
2008
ACM
15 years 4 months ago
2008
ACM
3D mesh models are now widely available for use in various applications. The demand for automatic model analysis and understanding is ever increasing. Mesh segmentation is an impo...
162
click to vote
HCI
2009
15 years 2 months ago
2009
The recent movement by major Web services towards making many application programming interfaces (APIs) available for public use has led to the development of the new MashUp techno...