6020 search results - page 631 / 1204 » A New Approach to Model Counting |
227
click to vote
MAGS
2008
15 years 7 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
198
Voted
ASE
2005
15 years 7 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
192
Voted
EUSFLAT
2009
15 years 5 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...
222
click to vote
EMNLP
2010
15 years 4 months ago
2010
We present a novel approach to relation extraction that integrates information across documents, performs global inference and requires no labelled text. In particular, we tackle ...
193
click to vote
ICML
2007
IEEE
16 years 8 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...