12981 search results - page 2559 / 2597 » Model Checking (Abstract) |
116
click to vote
DAGSTUHL
2001
15 years 25 days ago
2001
GXL (Graph eXchange Language) is designed to be a standard exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instanc...
104
Voted
NETWORKING
2004
15 years 24 days ago
2004
Abstract. This paper analyzes the performance of directional collision avoidance schemes, in which antenna systems are used to direct the transmission and reception of control and ...
110
Voted
NIPS
2004
15 years 24 days ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...
117
click to vote
OPODIS
2004
15 years 24 days ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
SIROCCO
2004
15 years 24 days ago
2004
Abstract. We study asynchronous packet radio networks in which transmissions among nodes may be delayed. We consider the task of broadcasting a message generated by the source node...