Sciweavers

612 search results - page 97 / 123
» Evaluation of Response Time in Ethernet-based Automation Sys...
Sort
View
201
Voted
MVA
2011
336views Computer Vision» more  MVA 2011»
14 years 4 months ago
In-vehicle camera traffic sign detection and recognition
: In this paper we discuss theoretical foundations and a practical realization of a real-time traffic sign detection, tracking and recognition system operating on board of a vehicl...
Andrzej Ruta, Fatih Porikli, Shintaro Watanabe, Yo...
ICFP
2009
ACM
15 years 10 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...
SIGMOD
2002
ACM
219views Database» more  SIGMOD 2002»
15 years 9 months ago
Efficient k-NN search on vertically decomposed data
Applications like multimedia retrieval require efficient support for similarity search on large data collections. Yet, nearest neighbor search is a difficult problem in high dimen...
Arjen P. de Vries, Nikos Mamoulis, Niels Nes, Mart...
122
Voted
WETICE
2009
IEEE
15 years 4 months ago
PerfCloud: GRID Services for Performance-Oriented Development of Cloud Computing Applications
—Cloud Computing, born in the e-business context, and GRID computing, originated in the e-science context, are two different but similar paradigms for managing large sets of dist...
Emilio Pasquale Mancini, Massimiliano Rak, Umberto...
88
Voted
IV
2009
IEEE
141views Visualization» more  IV 2009»
15 years 4 months ago
Connecting Genes with Diseases
We present a visual data mining application using the combination of clinical data, pathways and biomolecular data. Using pathways to navigate and filter the clinical and molecula...
Heimo Müller, Robert Reihs, Stefan Sauer 0002...