Sciweavers

1262 search results - page 191 / 253
» Generating instruction sets and microarchitectures from appl...
Sort
View
FORTE
2008
15 years 7 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
VCIP
2003
170views Communications» more  VCIP 2003»
15 years 7 months ago
How good are the visual MPEG-7 features?
The study presented in this paper analyses descriptions extracted with MPEG-7-descriptors from visual content from the statistical point of view. Good descriptors should generate ...
Horst Eidenberger
ICASSP
2010
IEEE
15 years 6 months ago
Weakly supervised learning with decision trees applied to fisheries acoustics
This paper addresses the training of classification trees for weakly labelled data. We call ”weakly labelled data”, a training set such as the prior labelling information pro...
Riwal Lefort, Ronan Fablet, Jean-Marc Boucher
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 4 months ago
Towards marine bloom trajectory prediction for AUV mission planning
— This paper presents an oceanographic toolchain that can be used to generate multi-vehicle robotic surveys for large-scale dynamic features in the coastal ocean. Our science app...
Jnaneshwar Das, Kanna Rajany, Sergey Frolovy, Fred...
TIP
2010
145views more  TIP 2010»
15 years 1 months ago
Joint Manifolds for Data Fusion
The emergence of low-cost sensing architectures for diverse modalities has made it possible to deploy sensor networks that capture a single event from a large number of vantage po...
Mark A. Davenport, Chinmay Hegde, Marco F. Duarte,...