1072 search results - page 192 / 215 » Object-Oriented Type Inference |
144
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
132
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
128
Voted
EVOW
2007
Springer
15 years 7 months ago
2007
Springer
MicroRNAs (miRNAs) form a large functional family of small noncoding RNAs and play an important role as posttranscriptional regulators, by repressing the translation of mRNAs. Rece...
135
Voted
AAAI
2004
15 years 4 months ago
2004
We are designing and developing a mobile clinical decision support system, known as MET (Mobile Emergency Triage), for supporting emergency triage of different types of acute pain...
122
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: The incorporation of annotated sequence information from multiple related species in commonly used databases (Ensembl, Flybase, Saccharomyces Genome Database, Wormbase...