Sciweavers

385 search results - page 34 / 77
» Qualitative Numeric Planning
Sort
View
SIGUCCS
2000
ACM
15 years 2 months ago
Windows 2000 Lab System Upgrade: Good Idea, Bad Idea?
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...
Jesse Ballard, James Osborn
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 2 months ago
A time-periodic Lyapunov approach for motion planning of controllable driftless systems on SU(n)
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...
Hector Bessa Silveira, Paulo Sérgio Pereira...
AIPS
2008
15 years 9 hour ago
A Compact and Efficient SAT Encoding for Planning
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
GCB
2009
Springer
154views Biometrics» more  GCB 2009»
15 years 1 months ago
Comparative Identification of Differential Interactions from Trajectories of Dynamic Biological Networks
Abstract: It is often challenging to reconstruct accurately a complete dynamic biological network due to the scarcity of data collected in cost-effective experiments. This paper ad...
Zhengyu Ouyang, Mingzhou Song
100
Voted
IDA
1999
Springer
15 years 1 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley