4693 search results - page 898 / 939 » Verifying Hybrid Systems |
129
click to vote
EMSOFT
2011
Springer
14 years 7 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
143
click to vote
HIPEAC
2011
Springer
14 years 4 days ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
160
click to vote
SIGIR
2012
ACM
13 years 2 months ago
2012
ACM
We introduce the problem of domain adaptation for content-based retrieval and propose a domain adaptation method based on relative aggregation points (RAPs). Content-based retriev...
120
Voted
BMCBI
2007
15 years 18 days ago
2007
Background: RNA interference has revolutionized our ability to study the effects of altering the expression of single genes in mammalian (and other) cells through targeted knockdo...
204
Voted
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...