6608 search results - page 1059 / 1322 » On the Completeness of Model Checking |
188
click to vote
LREC
2008
15 years 8 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
166
click to vote
IJCAI
2007
15 years 8 months ago
2007
We present a general machine learning framework for modelling the phenomenon of missing information in data. We propose a masking process model to capture the stochastic nature of...
140
click to vote
SODA
2008
ACM
15 years 8 months ago
2008
ACM
DNA self-assembly has emerged as a rich and promising primitive for nano-technology. Experimental and analytical evidence indicates that such systems are prone to errors, and acco...
146
click to vote
NIPS
2001
15 years 8 months ago
2001
Visual inspection of neurons suggests that dendritic orientation may be determined both by internal constraints (e.g. membrane tension) and by external vector fields (e.g. neurotr...
179
click to vote
NIPS
2001
15 years 8 months ago
2001
Tangential hand velocity profiles of rapid human arm movements often appear as sequences of several bell-shaped acceleration-deceleration phases called submovements or movement un...