2521 search results - page 293 / 505 » Semantic Component Composition |
105
Voted
IFM
1999
Springer
15 years 5 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
113
Voted
CI
1999
15 years 16 days ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
121
click to vote
MIG
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
87
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
129
click to vote
ADAPTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...