1490 search results - page 245 / 298 » Interactive semantics |
116
Voted
IUI
2010
ACM
15 years 11 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
114
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Object recognition is challenging due to high intra-class
variability caused, e.g., by articulation, viewpoint changes,
and partial occlusion. Successful methods need to strike a...
108
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Vacation planning is a frequent laborious task which requires skilled interaction with a multitude of resources. This paper develops an end-to-end approach for constructing intra-...
113
Voted
TEI
2010
ACM
15 years 9 months ago
2010
ACM
Distributed physical user interfaces comprise networked sensors, actuators and other devices attached to a variety of computers in different locations. Developing such systems is ...
125
click to vote
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...