3384 search results - page 232 / 677 » More Testable Properties |
162
click to vote
FMCO
2007
Springer
16 years 22 days ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
182
click to vote
HYBRID
2007
Springer
16 years 22 days ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
156
click to vote
ICANN
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Recurrent neural networks (RNNs) have proved effective at one dimensional sequence learning tasks, such as speech and online handwriting recognition. Some of the properti...
135
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...
161
click to vote
PERVASIVE
2007
Springer
16 years 21 days ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...