4767 search results - page 282 / 954 » Structures for Abstract Rewriting |
161
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
133
click to vote
HOLOMAS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Market-based approaches have a long tradition in supporting of taskassignment multiagent systems. Such systems consist of customer agents with jobs to assign, and provide...
171
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...
167
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
143
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a new lattice-based cryptographic structure called a bonsai tree, and use it to resolve some important open problems in the area. Applications of bonsai trees include...