3457 search results - page 345 / 692 » A Symbol Is Not a Symbol |
156
click to vote
PREMI
2005
Springer
16 years 6 days ago
2005
Springer
Text mining techniques have been proposed for extracting protein names and their interactions. First, we have made improvements on existing methods for handling single word protein...
208
click to vote
AISC
2004
Springer
16 years 4 days ago
2004
Springer
Nonlinear constraint systems can be solved by combining consistency techniques and search. In this approach, the search space is reduced using local reasoning on constraints. Howev...
156
click to vote
AMAST
2004
Springer
16 years 4 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
146
click to vote
CPM
2004
Springer
16 years 4 days ago
2004
Springer
We describe a new technique for reducing the number of nodes and symbols in automata based on tries. The technique stems from some results on anti-dictionaries for data compression...
157
click to vote
CSL
2004
Springer
16 years 3 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...