Sciweavers

12052 search results - page 655 / 2411
» computing 2010
Sort
View
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 6 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
PERCOM
2010
ACM
15 years 5 months ago
Communication architectures and experiences for web-connected physical Smart objects
—We are witnessing a tremendous hype on the Internet of Things paradigm, with not only research projects, but also commercial products claiming to implement its fundamental mecha...
Juan Ignacio Vázquez, Jonathan Ruiz de Gari...
TCS
2010
15 years 5 months ago
Iterative compression and exact algorithms
Iterative Compression has recently led to a number of breakthroughs in parameterized complexity. Here, we show that the technique can also be useful in the design of exact exponen...
Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mat...
ACL
2010
15 years 5 months ago
Arabic Named Entity Recognition: Using Features Extracted from Noisy Data
Building an accurate Named Entity Recognition (NER) system for languages with complex morphology is a challenging task. In this paper, we present research that explores the featur...
Yassine Benajiba, Imed Zitouni, Mona T. Diab, Paol...
HAID
2010
Springer
15 years 5 months ago
Conflicting Audio-haptic Feedback in Physically Based Simulation of Walking Sounds
We describe an audio-haptic experiment conducted using a system which simulates in real-time the auditory and haptic sensation of walking on different surfaces. The system is based...
Luca Turchet, Stefania Serafin, Smilen Dimitrov, R...