Sciweavers

8810 search results - page 425 / 1762
» Openness
Sort
View
DM
2010
87views more  DM 2010»
15 years 6 months ago
Hamilton-chain saturated hypergraphs
We say that a hypergraph H is hamiltonian path (cycle) saturated if H does not contain an open (closed) hamiltonian chain but by adding any new edge we create an open (closed) ham...
Aneta Dudek, Andrzej Zak, Gyula Y. Katona
DCG
2008
93views more  DCG 2008»
15 years 6 months ago
Odd Crossing Number and Crossing Number Are Not the Same
The crossing number of a graph is the minimum number of edge intersections in a plane drawing of a graph, where each intersection is counted separately. If instead we count the nu...
Michael J. Pelsmajer, Marcus Schaefer, Daniel Stef...
AAI
2006
89views more  AAI 2006»
15 years 6 months ago
Compliance verification of agent interaction: a logic-based software tool
In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply to interaction protocols. Thu...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fed...
ENTCS
2006
126views more  ENTCS 2006»
15 years 6 months ago
A Congruence Format for Name-passing Calculi
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
Axelle Ziegler, Dale Miller, Catuscia Palamidessi
CE
2007
93views more  CE 2007»
15 years 6 months ago
Web3D technologies in learning, education and training
Web3D open standards allow the delivery of interactive 3D virtual learning environments through the Internet, reaching potentially large numbers of learners worldwide, at any time...
Luca Chittaro, Roberto Ranon