Sciweavers

1341 search results - page 146 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
JMLR
2008
127views more  JMLR 2008»
13 years 8 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
CGA
1999
13 years 7 months ago
Visualizing Large Telecommunication Data Sets
displays to abstract network data and let users interactwithit.Wehaveimplementedafull-scaleSwift3D prototype, which generated the examples we present here. Swift-3D We developed Sw...
Eleftherios Koutsofios, Stephen C. North, Daniel A...
ESOP
2004
Springer
14 years 1 months ago
A Dependently Typed Ambient Calculus
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
Cédric Lhoussaine, Vladimiro Sassone
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
13 years 6 months ago
Parameterized maneuver learning for autonomous helicopter flight
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
Jie Tang, Arjun Singh, Nimbus Goehausen, Pieter Ab...
MP
2006
87views more  MP 2006»
13 years 8 months ago
A Robust Optimization Approach to Dynamic Pricing and Inventory Control with no Backorders
In this paper, we present a robust optimization formulation for dealing with demand uncertainty in a dynamic pricing and inventory control problem for a make-to-stock manufacturing...
Elodie Adida, Georgia Perakis