3718 search results - page 165 / 744 » IMPS: System Description |
128
click to vote
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
142
click to vote
DELTA
2002
IEEE
15 years 9 months ago
2002
IEEE
A new method for hierarchical fault simulation based on multi-level Decision Diagrams (DD) is proposed. We suppose that a register transfer (RT) level information along with gate-...
197
click to vote
ARES
1998
Springer
15 years 9 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
127
click to vote
OFAI
1997
Springer
15 years 8 months ago
1997
Springer
This paper outlines a design-based methodology for the study of mind as a part of thebroaddisciplineofArtificial Intelligence. Withinthat frameworksome architectural requirements...
106
click to vote
JCC
2008
15 years 4 months ago
2008
: In accounting for the magnetic properties of discrete and extended compounds with unpaired spins, it is crucial to know the nature of their ground and low-lying excited states. I...