11215 search results - page 286 / 2243 » Skeleton - Easy Simulation System |
113
click to vote
TARK
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
113
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
117
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
121
click to vote
ASIACRYPT
2006
Springer
15 years 6 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
120
click to vote
DNA
2006
Springer
15 years 6 months ago
2006
Springer
Self-repair is essential to all living systems, providing the ability to remain functional in spite of gradual damage. In the context of self-assembly of self-repairing synthetic b...