828 search results - page 127 / 166 » Modularity for Timed and Hybrid Systems |
136
Voted
FLAIRS
2007
15 years 6 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....
157
Voted
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...
113
Voted
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 ...
128
Voted
CHI
2006
ACM
16 years 4 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 ...
123
Voted
IPPS
2008
IEEE
15 years 10 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...