6381 search results - page 34 / 1277 » Alternative Implementation of the C |
TACAS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
PUC
2006
15 years 1 months ago
2006
We describe a middleware framework for the adaptive delivery of context information to contextaware applications. The framework abstracts the applications from the sensors that pro...
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
113
click to vote
DATAMINE
2000
15 years 1 months ago
2000
Data mining on large data warehouses is becoming increasingly important. In support of this trend, we consider a spectrum of architectural alternatives for coupling mining with da...
110
click to vote
NIPS
2004
15 years 2 months ago
2004
Alternative splicing (AS) is an important and frequent step in mammalian gene expression that allows a single gene to specify multiple products, and is crucial for the regulation ...