Sciweavers

438 search results - page 47 / 88
» Automatic generation of destination maps
Sort
View
FORMATS
2004
Springer
14 years 1 months ago
Monitoring Temporal Properties of Continuous Signals
Abstract. In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the rea...
Oded Maler, Dejan Nickovic
ICPR
2010
IEEE
14 years 1 months ago
Unsupervised Learning of Stroke Tagger for Online Kanji Handwriting Recognition
—Traditionally, HMM-based approaches to online Kanji handwriting recognition have relied on a hand-made dictionary, mapping characters to primitives such as strokes or substrokes...
Mathieu Blondel, Kazuhiro Seki, Kuniaki Uehara
ICCAD
2001
IEEE
91views Hardware» more  ICCAD 2001»
14 years 5 months ago
A System for Synthesizing Optimized FPGA Hardware from MATLAB
Efficient high level design tools that can map behavioral descriptions to FPGA architectures are one of the key requirements to fully leverage FPGA for high throughput computatio...
Malay Haldar, Anshuman Nayak, Alok N. Choudhary, P...
CVPR
2010
IEEE
1351views Computer Vision» more  CVPR 2010»
14 years 4 months ago
Live Dense Reconstruction with a Single Moving Camera
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
Richard Newcombe, Andrew Davison
ESWS
2007
Springer
14 years 2 months ago
The Web Mashup Scripting Language Profile
This paper provides an overview of the Web Mashup Scripting Language (WMSL) and discusses the WMSL-Profile. It specifies the HTML encoding that is used to import Web Service Descri...
Marwan Sabbouh, Jeff Higginson, Caleb Wan, Salim S...