4340 search results - page 459 / 868 » Formal Methods and Cryptography |
160
click to vote
ER
2003
Springer
16 years 11 hour ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
148
click to vote
ICCS
2003
Springer
16 years 1 hour ago
2003
Springer
The exact enumeration of most interesting combinatorial problems has exponential computational complexity. The finite-lattice method reduces this complexity for most two-dimension...
172
Voted
AI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper investigates the methods for learning predictive classifiers based on Bayesian belief networks (BN) – primarily unrestricted Bayesian networks and Bayesian m...
178
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
The problem of Music Information Retrieval can often be formalized as “searching for multidimensional trajectories”. It is well known that string-matching techniques provide r...
163
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Task scheduling forreactive real time systems is a di cult problem due to tight constraints that the schedule must satisfy. A static priority scheme is proposed here that can be f...