2293 search results - page 255 / 459 » Temporal Logic in Information Systems |
163
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
216
click to vote
PCI
2005
Springer
16 years 3 days ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
172
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
166
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
This work presents the design and experimental verification of an original system architecture aiming at recognizing gestures based solely on the hand trajectory. Self organizing ...
149
click to vote
MMSEC
2004
ACM
16 years 1 days ago
2004
ACM
In the paper, we address oracle attacks for integrity watermarking in a communication setting. We show how an integrity verification algorithm can be modified in order to counte...