1515 search results - page 147 / 303 » Information Integration: Conceptual Modeling and Reasoning S... |
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
PKDD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Recent results on robust density-based clustering have indicated that the uncertainty associated with the actual measurements can be exploited to locate objects that are ...
122
Voted
DEXAW
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
101
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...