Sciweavers

3735 search results - page 117 / 747
» Order compression schemes
Sort
View
74
Voted
HYBRID
2007
Springer
15 years 6 months ago
Sporadic Control of First-Order Linear Stochastic Systems
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
Erik Johannesson, Toivo Henningsson, Anton Cervin
89
Voted
IJCAI
2003
15 years 2 months ago
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases
In previous work, Levesque proposed an extension to classical databases that would allow for a certain form of incomplete first-order knowledge. Since this extension was suffici...
Yongmei Liu, Hector J. Levesque
BIRTHDAY
2009
Springer
15 years 1 months ago
Validating and Animating Higher-Order Recursive Functions in B
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
Michael Leuschel, Dominique Cansell, Michael J. Bu...
119
Voted
PAMI
2012
13 years 3 months ago
Detachable Object Detection: Segmentation and Depth Ordering from Short-Baseline Video
—We describe an approach for segmenting a moving image into regions that correspond to surfaces in the scene that are partially surrounded by the medium. It integrates both appea...
Alper Ayvaci, Stefano Soatto
MM
2004
ACM
165views Multimedia» more  MM 2004»
15 years 6 months ago
Predictive perceptual compression for real time video communication
Approximately 2 degrees in our 140 degree vision span has sharp vision. Many researchers have been fascinated by the idea of eyetracking integrated perceptual compression of an im...
Oleg Komogortsev, Javed I. Khan