2181 search results - page 41 / 437 » The restriction scaffold problem |
ATAL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
CAD
2005
Springer
13 years 8 months ago
2005
Springer
Heterogeneous structures represent an important new frontier for 21st century engineering. Human tissues, composites, `smart' and multimaterial objects are all physically man...
P2P
2006
IEEE
14 years 2 months ago
2006
IEEE
Application-level multicast overcomes the problems linked with IP-multicast and provides an effective mechanism to support media streaming. One key problem associated with this ap...
COCOON
2006
Springer
14 years 11 days ago
2006
Springer
Many real-life scheduling, routing and location problems can be formulated as combinatorial optimization problems whose goal is to find a linear layout of an input graph in such a ...