10392 search results - page 1896 / 2079 » Introduction to Computer Science |
97
Voted
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of incrementally evaluated SQL queries for analyzing a wide spectrum of data streams. As ap...
FCT
2009
Springer
15 years 7 months ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
120
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
108
Voted
CASES
2009
ACM
15 years 7 months ago
2009
ACM
Networks of ultra-low-power nodes capable of sensing, computation, and wireless communication have applications in medicine, science, industrial automation, and security. Over the...
156
click to vote
CLADE
2008
IEEE
15 years 7 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...