7892 search results - page 194 / 1579 » Programming with Models |
112
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
— Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all...
102
click to vote
AAAI
2007
15 years 3 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
STOC
2001
ACM
16 years 1 months ago
2001
ACM
Recently Rothemund and Winfree 6] have considered the program size complexity of constructing squares by selfassembly. Here, we consider the time complexity of such constructions ...
156
click to vote
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
107
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...