1306 search results - page 185 / 262 » A Diagrammatic Approach to Model Completion |
195
click to vote
ICEIS
2008
IEEE
16 years 26 days ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
172
click to vote
ICIW
2008
IEEE
16 years 25 days ago
2008
IEEE
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main p...
150
click to vote
ICNS
2008
IEEE
16 years 25 days ago
2008
IEEE
—To provide seamless mobility to the wireless user, a continuous connection to the Internet is required while moving from one administration domain to another. To enable continuo...
174
click to vote
IROS
2008
IEEE
16 years 24 days ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
173
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...