128 search results - page 25 / 26 » Representing Topological Structures Using Cell-Chains |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...
EVOW
2007
Springer
13 years 12 months ago
2007
Springer
Understanding the self-regulatory mechanisms controlling the spatial and temporal structure of multicellular organisms represents one of the major challenges in molecular biology. ...
CPAIOR
2009
Springer
14 years 11 days ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
CAV
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
ACSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...