421 search results - page 62 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
100
click to vote
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
104
Voted
SASO
2008
IEEE
15 years 5 months ago
2008
IEEE
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
63
Voted
ICDE
2007
IEEE
15 years 5 months ago
2007
IEEE
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
XIMEP
2005
ACM
15 years 4 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...