1280 search results - page 131 / 256 » Soft Typing with Conditional Types |
SCL
2008
13 years 9 months ago
2008
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
ROBOTICA
2006
13 years 9 months ago
2006
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
IJRFITA
2007
13 years 9 months ago
2007
: Precise temperature monitoring is the major precondition to supervise quality losses within the transport chain for fresh products. Different types of miniaturised data loggers w...
TIT
2008
13 years 9 months ago
2008
We analyze the impact of side information about the distortion measure in problems of quantization. We show that such "distortion side information" is not only useful at...
JSYML
2007
13 years 9 months ago
2007
Abstract. An amalgamation base p in a simple theory is stably definable if its canonical base is interdefinable with the set of canonical parameters for the φ-definitions of p ...