769 search results - page 97 / 154 » Is Logic all in our Heads |
114
Voted
EKAW
2006
Springer
15 years 4 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
92
Voted
DEXA
1995
Springer
15 years 4 months ago
1995
Springer
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...
69
Voted
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to increases in design complexity, routing a reset signal to all registers is becoming more difficult. One way to solve this problem is to reset only certain registers and rely...
132
click to vote
FMOODS
2007
15 years 2 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
106
click to vote
ICFP
2005
ACM
16 years 19 days ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...