4763 search results - page 844 / 953 » On the Execution of Deep Models |
196
click to vote
PTS
2008
15 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
172
click to vote
AAAI
2006
15 years 7 months ago
2006
We present an algorithm that derives actions' effects and preconditions in partially observable, relational domains. Our algorithm has two unique features: an expressive rela...
158
click to vote
CADUI
2004
15 years 7 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
162
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
146
click to vote
DBSEC
2006
15 years 7 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...