3799 search results - page 712 / 760 » An Engineering Approach to Formal Methods |
123
click to vote
APWEB
2006
Springer
15 years 7 months ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
129
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
EKAW
2008
Springer
15 years 5 months ago
2008
Springer
Most practically relevant domains include some degree of conceptual dynamics, i.e. new conceptual elements arise, and some old ones become irrelevant. This type of change imposes a...
136
click to vote
ER
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we demonstrate an automatic approach for emergent semantics modeling of ontologies. We follow the collaborative ontology construction method without the direct intera...