4099 search results - page 732 / 820 » A Framework for Interactive Proof |
155
click to vote
AVI
2004
15 years 5 months ago
2004
Visualization interfaces that offer multiple coordinated views on a particular set of data items are useful for navigating and exploring complex information spaces. In this paper ...
125
click to vote
AVI
2004
15 years 5 months ago
2004
Complex hypermedia structures can be difficult to author and maintain, especially when the usual hierarchic representation cannot capture important relations. We propose a graph-b...
119
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
141
click to vote
EMNLP
2004
15 years 5 months ago
2004
State-of-the-art machine translation techniques are still far from producing high quality translations. This drawback leads us to introduce an alternative approach to the translat...
142
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...