3005 search results - page 294 / 601 » Logical Information Systems: from Taxonomies to Logics |
172
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
163
click to vote
ANLP
2000
15 years 8 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
199
click to vote
ACL
1989
15 years 8 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
212
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Interoperability in telemedicine system is one of the major concern in telemedicine health care system. It is difficult to design exact and flexible interoperable architecture i...
161
click to vote
DAWAK
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The most popular data mining techniques consist in searching databases for frequently occurring patterns, e.g. association rules, sequential patterns. We argue that in co...