748 search results - page 17 / 150 » Automatic Presentations and Semigroup Constructions |
125
Voted
MIDDLEWARE
2009
Springer
15 years 8 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
150
Voted
ESWA
2006
15 years 1 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
131
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...
121
Voted
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
Users of the World-Wide Web are not only confronted by an immense overabundance of information, but also by a plethora of tools for searching for the web pages that suit their inf...
116
Voted
MKM
2007
Springer
15 years 8 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...