12774 search results - page 289 / 2555 » A Framework for Proof Systems |
163
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
210
click to vote
FAST
2009
15 years 4 months ago
2009
Most application provenance systems are hard coded for a particular type of system or data, while current provenance file systems maintain in-memory provenance graphs and reside i...
148
click to vote
ISMAR
2003
IEEE
15 years 12 months ago
2003
IEEE
To achieve accurate registration, the transformations which locate the tracking system components with respect to the environment must be known. These transformations relate the b...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This study presents new advancements in our articulatory-based language identi cation (LID) system. Our LID system automatically identi es language-features (LFs) from a phonologi...
159
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...