1845 search results - page 287 / 369 » Automatic Initiation of an Ontology |
171
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
165
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
In this paper I describe the Associative PDA 2.0, a mobile system for Personal Information Management (PIM), based on an associative information network. In addition to associate ...
131
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Scrolling is an essential part of our everyday computing experience. Contemporary scrolling techniques rely on the explicit initiation of scrolling by the user. The act of scrolli...
177
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
140
click to vote
MOBISYS
2005
ACM
16 years 5 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...