3765 search results - page 310 / 753 » Qualitative Action Systems |
218
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...
232
click to vote
ICTAI
2010
IEEE
15 years 5 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
222
click to vote
ICONIP
2010
15 years 4 months ago
2010
With simple cost effective imaging solutions being widely available these days, there has been an enormous rise in the number of images consumers have been taking. Due to this incr...
182
Voted
CHI
2011
ACM
14 years 11 months ago
2011
ACM
Many people manage a complex assortment of digital information in their lives. Volunteer coordinators at nonprofit organizations are no exception; they collectively manage informa...
203
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...