4340 search results - page 559 / 868 » Formal Methods and Cryptography |
175
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Opinion mining has become recently a major research topic. A wide range of techniques have been proposed to enable opinion-oriented information seeking systems. However, little is...
141
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
173
click to vote
ICTAI
2007
IEEE
16 years 29 days ago
2007
IEEE
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...
164
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
169
click to vote
AIRS
2005
Springer
16 years 5 days ago
2005
Springer
Sentence level novelty detection aims at spotting sentences with novel information from an ordered sentence list. In the task, sentences appearing later in the list with no new me...