3032 search results - page 369 / 607 » Description Logic Rules |
135
click to vote
WADT
1997
Springer
15 years 8 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
136
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
152
click to vote
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— DNA sequence basecalling is commonly regarded as a solved problem, despite significant error rates being reflected in inaccuracies in databases and genome annotations. This has...
129
click to vote
AI
2007
Springer
15 years 10 months ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...