2035 search results - page 280 / 407 » On the complexity of stratified logics |
119
Voted
IJDAR
2002
15 years 14 days ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
104
Voted
RE
2008
Springer
15 years 8 days ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
168
Voted
IFIPTM
2010
14 years 11 months ago
2010
Enforcing complex policies that span organizational domains is an open challenge. Current work on SOA policy enforcement splits security in logical components that can be distribut...
136
Voted
SOCROB
2010
14 years 11 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
117
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...