Sciweavers

2450 search results - page 292 / 490
» Time Mapping with Hypergraphs
Sort
View
211
Voted
ALC
1997
15 years 5 months ago
Predicative semantics of loops
A predicative semantics is a mapping of programs to predicates. These predicates characterize sets of acceptable observations. The presence of time in the observations makes the o...
Theodore S. Norvell
117
Voted
WSC
1998
15 years 5 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...
128
Voted
AIPS
1994
15 years 5 months ago
A Planner with Quality Goal and Its Speed-up Learning for Optimization Problem
Aimsof traditional planners had beenlimited to finding a sequenceof operators rather than finding an optimal or neax-optimalfinal state. Consequent]y, the performanceimprovementsy...
Masahiko Iwamoto
144
Voted
DAGSTUHL
1994
15 years 5 months ago
Competitive Strategies for Autonomous Systems
A strategy for working with incomplete information is called competitive if it solves each problem instance at a cost not exceeding the cost of an optimal solution (with full info...
Christian Icking, Rolf Klein
98
Voted
TRECVID
2007
15 years 4 months ago
The NTU Toolkit and Framework for High-Level Feature Detection at TRECVID 2007
In TRECVID 2007 high-level feature (HLF) detection, we extend the well-known LIBSVM and develop a toolkit specifically for HLF detection. The package shortens the learning time an...
Ming-Fang Weng, Chun-Kang Chen, Yi-Hsuan Yang, Ron...