828 search results - page 127 / 166 » Modularity for Timed and Hybrid Systems |
131
click to vote
FLAIRS
2007
15 years 5 months ago
2007
This paper presents RepairSHOP a system capable of performing plan adaptation and plan repair. RepairSHOP is built on top of the HTN planner SHOP. RepairSHOP has three properties....
155
click to vote
DIS
2006
Springer
15 years 5 months ago
2006
Springer
Knowledge discovery systems are constrained by three main limited resources: time, memory and sample size. Sample size is traditionally the dominant limitation, but in many present...
111
click to vote
MOVEP
2000
15 years 7 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
125
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...
120
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...