959 search results - page 124 / 192 » Transfers between Logics and their Applications |
159
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
131
click to vote
UIST
1997
ACM
15 years 10 months ago
1997
ACM
This paper proposes a new field of user interfaces called multi-computer direct manipulation and presents a pen-based direct manipulation technique that can be used for data trans...
150
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Loops are an important source of optimization. In this paper, we address such optimizations for those cases when loops contain kernels mapped on reconfigurable fabric. We...
150
click to vote
HCI
2007
15 years 7 months ago
2007
We present our work on emotionally expressive avatars, animated virtual characters that can express emotions via facial expressions. Because these avatars are highly distinctive an...
184
click to vote
PTS
2008
15 years 7 months ago
2008
Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...