Sciweavers

257 search results - page 30 / 52
» Computability over The Partial Continuous Functionals
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
An overview of the Jahob analysis system: project goals and current status
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
Viktor Kuncak, Martin C. Rinard
RTS
2008
74views more  RTS 2008»
13 years 9 months ago
Quantifying and suppressing the measurement disturbance in feedback controlled real-time systems
In the control of continuous and physical systems, the controlled system is sampled sufficiently fast to capture the dynamics of the system. In general, this property cannot be app...
Mehdi Amirijoo, Jörgen Hansson, Svante Gunnar...
CVPR
2005
IEEE
2143views Computer Vision» more  CVPR 2005»
15 years 6 months ago
Level Set Evolution Without Re-initialization: A New Variational Formulation
"In this paper, we present a new variational formulation for geometric active contours that forces the level set function to be close to a signed distance function, and theref...
Chunming Li, Chenyang Xu, Changfeng Gui, and Marti...
BIRTHDAY
2003
Springer
14 years 3 months ago
Digital Algebra and Circuits
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
Jean Vuillemin
ICAC
2008
IEEE
14 years 4 months ago
Utility-Based Reinforcement Learning for Reactive Grids
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
Julien Perez, Cécile Germain-Renaud, Bal&aa...