1285 search results - page 244 / 257 » Description Logic Reasoner: System Description |
108
click to vote
AIL
2007
14 years 11 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
110
click to vote
BIB
2006
14 years 11 months ago
2006
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
104
Voted
AI
2000
Springer
14 years 11 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
111
click to vote
MODELLIERUNG
2001
15 years 1 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
80
Voted
FCCM
2006
IEEE
15 years 5 months ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...