3724 search results - page 445 / 745 » Timed regular expressions |
177
Voted
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Multi-tensor models provide information about the fiber bundles underlying characteristics and are of great interest for clinical applications. In this work we propose both a nov...
189
click to vote
ACL
2012
13 years 9 months ago
2012
We argue that multilingual parallel data provides a valuable source of indirect supervision for induction of shallow semantic representations. Specifically, we consider unsupervi...
168
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
176
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
185
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...