Sciweavers

5101 search results - page 836 / 1021
» Capturing Context Requirements
Sort
View
BMVC
2010
13 years 6 months ago
Generalized RBF feature maps for Efficient Detection
Kernel methods yield state-of-the-art performance in certain applications such as image classification and object detection. However, large scale problems require machine learning...
Sreekanth Vempati, Andrea Vedaldi, Andrew Zisserma...
CODES
2010
IEEE
13 years 6 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 6 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
GLOBECOM
2010
IEEE
13 years 6 months ago
Mobi-Sync: Efficient Time Synchronization for Mobile Underwater Sensor Networks
Abstract--Time synchronization is a critical service for distributed network systems. In this work, we investigate this problem in the context of underwater sensor networks (UWSNs)...
Jun Liu, Robert Zhong Zhou, James Peng Zheng, Jun-...
GLOBECOM
2010
IEEE
13 years 6 months ago
Enabling Secondary Access through Robust Primary User Channel Assignment
Abstract--A common concept to mitigate the effects of spectrum scarcity is to allow opportunistic dynamic spectrum access (DSA) to licensed frequency bands. In this context, the li...
Jad Nasreddine, Andreas Achtzehn, Janne Riihij&aum...