4418 search results - page 181 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
170
click to vote
ICML
2004
IEEE
16 years 7 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...
153
click to vote
AMR
2007
Springer
16 years 19 days 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...
165
click to vote
ECIR
2009
Springer
16 years 3 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...
162
click to vote
RIDE
1999
IEEE
15 years 10 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...
165
click to vote
FROCOS
2009
Springer
16 years 1 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...