7529 search results - page 408 / 1506 » The Modula-3 Type System |
170
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
In this article, we show how a behavior based control system for autonomous robots can be modeled as a hybrid automaton, where each node corresponds to a distinct robot behavior. T...
165
click to vote
WDAG
2000
Springer
15 years 10 months ago
2000
Springer
Work to date on algorithms for message-passing systems has explored a wide variety of types of faults, but corresponding work on shared memory systems has usually assumed that only...
133
click to vote
LREC
2008
15 years 8 months ago
2008
We present the procedures we implemented to carry out system oriented evaluation of a syntax-based word aligner --ALIBI. We take the approach of regarding cross-corpus evaluation ...
144
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
192
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Microarray expression profiling has been widely used to identify differentially expressed genes in complex cellular systems. However, while such methods can be used to...