12774 search results - page 2269 / 2555 » A Framework for Proof Systems |
182
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
174
click to vote
EPIA
2003
Springer
15 years 12 months ago
2003
Springer
Most of supervised learning algorithms assume the stability of the target concept over time. Nevertheless in many real-user modeling systems, where the data is collected over an ex...
218
click to vote
GRID
2003
Springer
15 years 12 months ago
2003
Springer
There is a rapidly growing set of applications, referred to as data driven applications, in which analysis of large amounts of data drives the next steps taken by the scientist, e...
191
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
We propose audio networking: using ubiquitously available sound hardware (i.e. speakers, sound-cards and microphones) for lowbandwidth, wireless networking. A variety of location- ...
199
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...