1133 search results - page 80 / 227 » Local Logics for Traces |
AI
2008
Springer
15 years 28 days ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...
98
Voted
CONSTRAINTS
2007
15 years 24 days ago
2007
When a new (global) constraint is introduced in local search, measures for the penalty and variable conflicts of that constraint must be defined, and incremental algorithms for m...
131
Voted
AB
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
98
Voted
EVOW
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...
123
Voted
ICNP
1998
IEEE
15 years 5 months ago
1998
IEEE
Wireless links can exhibit high error rates due to attenuation, fading, or interfering active radiation sources. To make matters worse, error rates can be highly variable due to c...