488 search results - page 96 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
126
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The ability to determine what day-to-day activity (such as cooking pasta, taking a pill, or watching a video) a person is performing is of interest in many application domains. A ...
129
Voted
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
113
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Sets of named entities are used heavily at commercial search engines such as Google, Yahoo and Bing. Acquiring sets of entities typically consists of combining semi-supervised exp...
160
Voted
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
In recent years, with the rapid proliferation of digital images, the need to search and retrieve the images accurately, efficiently, and conveniently is becoming more acute. Automa...
123
Voted
TREC
2003
15 years 2 months ago
2003
Ranking functions are instrumental for the success of an information retrieval (search engine) system. However nearly all existing ranking functions are manually designed based on...