506 search results - page 34 / 102 » Proving Properties about Lists Using Containers |
101
click to vote
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper we provide experimental results and extensions to our previous theoretical findings concerning the combination of forecasts that have been diversified by three ...
LREC
2010
15 years 1 months ago
2010
We describe a new method for extracting Negative Polarity Item candidates (NPI candidates) from dependency-parsed German text corpora. Semi-automatic extraction of NPIs is a chall...
103
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
IPM
2010
14 years 10 months ago
2010
The paper presents methods of retrieving blog posts containing opinions about an entity expressed in the query. The methods use a lexicon of subjective words and phrases compiled ...
102
click to vote
HCI
2009
14 years 9 months ago
2009
Social network analysis (SNA) has been used to study the relationships between actors in social networks, revealing their features and patterns. In most cases, nodes and edges in g...