1716 search results - page 228 / 344 » Proving Conditional Termination |
143
click to vote
ENTCS
2008
15 years 4 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
138
click to vote
DEDS
2006
15 years 4 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
131
click to vote
DSS
2006
15 years 4 months ago
2006
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
151
click to vote
ENTCS
2006
15 years 4 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
122
click to vote
IJON
2006
15 years 4 months ago
2006
Neural-network dynamics frequently organize in assemblies of synchronized neurons that are thought to encode and store sensory information. We have investigated the mechanisms lea...