5550 search results - page 150 / 1110 » Different Approaches to Proof Systems |
184
click to vote
CSCW
2000
ACM
15 years 6 months ago
2000
ACM
Tailoring groupware has to deal with adapting properties of a shared information space as well as with adapting properties of the cooperation support to the group's needs. In...
207
click to vote
AAAI
2010
15 years 8 months ago
2010
People tracking is a key technology for autonomous systems, intelligent cars and social robots operating in populated environments. What makes the task difficult is that the appea...
164
click to vote
AIIDE
2006
15 years 7 months ago
2006
Automated camera control has been an active area of research for a number of years. The problem has been addressed in the Graphics, AI and Game communities from different perspect...
192
click to vote
INFOCOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—It has been of significant importance to provision network-wide guaranteed QoS for a wide range of event detection applications in wireless sensor networks (WSNs). This paper in...
164
click to vote
EDOC
2007
IEEE
16 years 24 days ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...