1916 search results - page 282 / 384 » Reconfiguring a state machine |
JLP
2010
13 years 4 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
ICASSP
2011
IEEE
13 years 27 days ago
2011
IEEE
A patient-specific seizure prediction algorithm is proposed that extracts novel multivariate signal coherence features from ECoG recordings and classifies a patient’s pre-seiz...
ACL
2011
13 years 24 days ago
2011
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
AGI
2011
13 years 24 days ago
2011
Human intelligence consists largely of the ability to recognize and exploit structural systematicity in the world, relating our senses simultaneously to each other and to our cogni...
FM
2011
Springer
13 years 20 days ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...