4767 search results - page 282 / 954 » Structures for Abstract Rewriting |
171
click to vote
FORMATS
2003
Springer
16 years 12 days 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...
150
click to vote
HOLOMAS
2003
Springer
16 years 12 days 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...
183
click to vote
ISMIS
2003
Springer
16 years 11 days 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...
193
click to vote
ECCV
2010
Springer
16 years 2 days 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...
152
click to vote
EUROCRYPT
2010
Springer
16 years 6 hour 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...