4763 search results - page 155 / 953 » On the Execution of Deep Models |
128
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
DEXA
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
111
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Mapping a set of feedback control components to executable code introduces errors due to a variety of factors such as discretization, computational delays, and scheduling policies...
IJCAI
2001
15 years 1 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Failures during web service execution may depend on a wide variety of causes, such as network faults, server crashes, or application-related errors, such as unavailability of a re...