124 search results - page 12 / 25 » Meta-ontology for automated information integration of parts... |
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
GIS
2007
ACM
14 years 9 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Social networking on the Web has become an integral part of our lives. Merging of computing with physical things enabled the conversion of everyday objects into informati...
SERA
2009
Springer
14 years 3 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...
CAISE
1999
Springer
14 years 26 days ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...