2452 search results - page 209 / 491 » The Case for Precision Sharing |
193
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The number of web pages available on Internet increases day after day, and consequently finding relevant information becomes more and more a hard task. However, when we consider ...
173
click to vote
EPIA
2005
Springer
16 years 9 days ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
180
Voted
HVC
2005
Springer
16 years 9 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
189
click to vote
KDD
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, the proposed LIPED (LIfe Profile based Event Detection) employs the concept of life profiles to predict the activeness of event for effective event detection. A gro...
200
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...