162 search results - page 22 / 33 » Extraction in Coq: An Overview |
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
IPSJ
1994
13 years 9 months ago
1994
The goal of the Tsimmis Project is to develop tools that facilitate the rapid integration of heterogeneous information sources that may include both structured and unstructured da...
QI
2009
Springer
14 years 2 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
NLDB
2005
Springer
14 years 1 months ago
2005
Springer
Requirements engineering is the Achilles’ heel of the whole software development process, because requirements documents are often inconsistent and incomplete. Misunderstandings ...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Limitation in display size and resolution on mobile devices is one of the main obstacles for wide-spread use of web applications in a wireless environment. Web pages are often too ...