4770 search results - page 308 / 954 » Flexible Type Analysis |
235
click to vote
TYPES
2000
Springer
15 years 11 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
247
click to vote
MMB
2010
Springer
15 years 9 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
190
click to vote
ACL
2008
15 years 8 months ago
2008
We present a method for learning bilingual translation lexicons from monolingual corpora. Word types in each language are characterized by purely monolingual features, such as con...
182
click to vote
NIPS
2001
15 years 8 months ago
2001
Driven by the progress in the field of single-trial analysis of EEG, there is a growing interest in brain computer interfaces (BCIs), i.e., systems that enable human subjects to c...
171
click to vote
COLING
2006
15 years 7 months ago
2006
and logic defined on certain types of abstract spaces and how that intimate relationship might be exploited when applied in computational linguistics. It is also about an approach ...