1060 search results - page 100 / 212 » Mechanized semantics |
ICSR
2009
Springer
15 years 4 months ago
2009
Springer
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
159
click to vote
AISADM
2007
Springer
15 years 4 months ago
2007
Springer
An unsolved problem in AIS is adaptive ontologies. Semantic Web requires flexible ontologies adaptive to user needs and to Web contents. The paper describes emotional intelligent a...
111
click to vote
UCS
2007
Springer
15 years 4 months ago
2007
Springer
COMPASS is a location framework where location sources are realized as plugins that contribute probability density functions to the overall localization result. In addition, COMPAS...
KES
2004
Springer
15 years 3 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
DL
1998
Springer
15 years 2 months ago
1998
Springer
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...