11484 search results - page 1891 / 2297 » Modeling in the Large and Modeling in the Small |
156
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
169
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
148
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The vision of semantic business processes is to enable the integration and inter-operability of business processes across organizational boundaries. Since different orga...
208
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Hyperspectral imagery is a new type of high-dimensional image data which is now used in many Earth-based and planetary exploration applications. Many efforts have been d...
189
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...