4418 search results - page 181 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
142
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper addresses the problem of finding a small and coherent subset of points in a given data. This problem, sometimes referred to as one-class or set covering, requires to fi...
130
click to vote
AMR
2007
Springer
15 years 11 months ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
141
click to vote
ECIR
2009
Springer
16 years 1 months ago
2009
Springer
Blog post opinion retrieval is the problem of identifying posts which express an opinion about a particular topic. Usually the problem is solved using a 3 step process in which rel...
136
click to vote
RIDE
1999
IEEE
15 years 9 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
130
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...