Sciweavers

2539 search results - page 161 / 508
» Debugging Method Names
Sort
View
PKDD
2001
Springer
120views Data Mining» more  PKDD 2001»
15 years 7 months ago
Distinguishing Natural Language Processes on the Basis of fMRI-Measured Brain Activation
We present a method for distinguishing two subtly different mental states, on the basis of the underlying brain activation measured with fMRI. The method uses a classifier to lea...
Francisco Pereira, Marcel Just, Tom M. Mitchell
108
Voted
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 6 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
124
Voted
CONCUR
2006
Springer
15 years 6 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
Stefan Leue, Alin Stefanescu, Wei Wei
ESWS
2008
Springer
15 years 4 months ago
Distinguishing between Instances and Classes in the Wikipedia Taxonomy
This paper presents an automatic method for differentiating between instances and classes in a large scale taxonomy induced from the Wikipedia category network. The method exploits...
Cäcilia Zirn, Vivi Nastase, Michael Strube
138
Voted
EMNLP
2007
15 years 4 months ago
Semi-Markov Models for Sequence Segmentation
In this paper, we study the problem of automatically segmenting written text into paragraphs. This is inherently a sequence labeling problem, however, previous approaches ignore t...
Qinfeng Shi, Yasemin Altun, Alex J. Smola, S. V. N...