3229 search results - page 277 / 646 » Mixing |
208
click to vote
TYPES
2000
Springer
15 years 10 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...
142
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Verification of image processing systems is mainly done on the basis of image sequence simulations. To achieve high simulation efficiency, our compiled code simulator MSIPC offers...
173
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
In this paper we introduce a novel approach for the analysis of microarray titration experiments. The test introduced here can be used more generally for drug-dosage effect or time...
141
click to vote
EMNLP
2008
15 years 8 months ago
2008
Code-switching is an interesting linguistic phenomenon commonly observed in highly bilingual communities. It consists of mixing languages in the same conversational event. This pa...
135
click to vote
LREC
2008
15 years 8 months ago
2008
Arrau is a new corpus annotated for anaphoric relations, with information about agreement and explicit representation of multiple nts for ambiguous anaphoric expressions and disco...