1743 search results - page 128 / 349 » Generalized Modal Satisfiability |
153
Voted
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
149
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
121
click to vote
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we describe an approach for mining images of objects (such as touristic sights) from community photo collections in an unsupervised fashion. Our approach relies on ...
116
click to vote
MEDINFO
2007
15 years 4 months ago
2007
The nature of the internet as a non-peer-reviewed (and more generally largely unregulated) publication medium has allowed wide-spread promotion of inaccurate and unproven medical ...
112
Voted
AVI
2006
15 years 4 months ago
2006
Flow selection is a time-based modeless selection and operation technique for freehand drawing and sketch tools. We offer flow selection as a modeless technique to address the obs...