2620 search results - page 22 / 524 » Qualities in Possible Worlds |
KBS
2011
13 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
CIT
2010
Springer
13 years 2 months ago
2010
Springer
This paper discusses how meaningful the expression `research quality' is in Universities. Measuring the quality of a research publication, it is argued, cannot be done. The is...
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
System-on-Chip design is an important new trend in the design of complex integrated circuits. The integration of a microprocessor, memory and peripherals onto a single die opens n...
CEFP
2005
Springer
14 years 1 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
HT
2000
ACM
13 years 12 months ago
2000
ACM
This paper presents the principles of ontology-supported and ontology-driven conceptual navigation. Conceptual navigation realizes the independence between resources and links to ...