1216 search results - page 150 / 244 » Hybrid type checking |
148
click to vote
PEPM
2009
ACM
16 years 28 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
131
click to vote
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Reticulate networks are a type of phylogenetic network that are used to represent reticulate evolution involving hybridization, horizontal gene transfer or recombination. The simpl...
142
Voted
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
Genetic instability represents an important type of biological markers for cancer and many other diseases. Array Comparative Genome Hybridization (aCGH) is a high-throughput cytoge...
117
click to vote
IUI
2010
ACM
16 years 28 days ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
136
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...