Sciweavers

2361 search results - page 63 / 473
» Embedded Systems - Challenges and Work Directions
Sort
View
119
Voted
COMSUR
2006
87views more  COMSUR 2006»
15 years 3 months ago
Handover schemes in satellite networks: State-of-the-art and future research directions
Low Earth Orbit (LEO) satellites will work as an important component in future data communication networks. LEO satellites provide low end-to-end delays and efficient frequency spe...
Pulak K. Chowdhury, Mohammed Atiquzzaman, William ...
279
Voted
PLDI
2009
ACM
16 years 4 months ago
An integrated proof language for imperative programs
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
Karen Zee, Viktor Kuncak, Martin C. Rinard
124
Voted
CODES
2005
IEEE
15 years 9 months ago
An architectural level design methodology for embedded face detection
Face detection and recognition research has attracted great attention in recent years. Automatic face detection has great potential in a large array of application areas, includin...
Vida Kianzad, Sankalita Saha, Jason Schlessman, Ga...
139
Voted
ICPPW
2006
IEEE
15 years 9 months ago
Embedded Knowledge-Based Speech Detectors for Real-Time Recognition Tasks
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
Sabato Marco Siniscalchi, Fulvio Gennaro, Salvator...
116
Voted
AAAI
2006
15 years 5 months ago
Tensor Embedding Methods
Over the past few years, some embedding methods have been proposed for feature extraction and dimensionality reduction in various machine learning and pattern classification tasks...
Guang Dai, Dit-Yan Yeung