IPM
2010
13 years 2 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 ...
ACL
2001
13 years 5 months ago
2001
This paper presents methods for a qualitative, unbiased comparison of lexical association measures and the results we have obtained for adjective-noun pairs and preposition-noun-v...
ICIAP
1997
ACM
13 years 8 months ago
1997
ACM
This paper presents methods for detection and reconstruction of `missing' data in image sequences which can be modelled using 3-dimensional autoregressive (3DAR) models. The ...
IPPS
1998
IEEE
13 years 8 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
ICDCS
1998
IEEE
13 years 8 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
GECCO
2003
Springer
13 years 9 months ago
2003
Springer
This paper presents methods to visualize the structure of trees that occur in genetic programming. These methods allow for the inspection of structure of entire trees of arbitrary ...
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
SADFE
2005
IEEE
13 years 10 months ago
2005
IEEE
This review paper outlines the need for research into the process of automating the detection of paedophile activities on the Internet and identifies the associated challenges of ...