1948 search results - page 189 / 390 » Formalizing Mirror Theory |
164
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
171
click to vote
SLE
2009
Springer
16 years 1 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
178
click to vote
MEMOCODE
2007
IEEE
16 years 25 days ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
203
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
The General Game Playing (GGP) problem is concerned with developing systems capable of playing many different games, even games the system has never encountered before. Successful...
170
click to vote
CIKM
2007
Springer
16 years 22 days ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...