7167 search results - page 864 / 1434 » Answer Set Programming |
149
click to vote
SIGMOD
1989
ACM
15 years 10 months ago
1989
ACM
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
197
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
162
Voted
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
158
click to vote
EDCC
2006
Springer
15 years 9 months ago
2006
Springer
- This paper proposes a novel technique for preventing a wide range of data errors from corrupting the execution of applications. The proposed technique enables automated derivatio...
217
Voted
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Machine learning has great utility within the context of network intrusion detection systems. In this paper, a behavior analysis-based learning framework for host level network in...