Sciweavers

975 search results - page 146 / 195
» Applying Patterns during Business Process Modeling
Sort
View
ICPR
2008
IEEE
14 years 11 months ago
Dynamic target classification in wireless sensor networks
Feature extraction and classification are two important components in pattern recognition. In this paper, we propose dynamic target classification in WSNs. The main idea of this a...
Ying Sun, Hairong Qi
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
14 years 3 months ago
Integrating observability don't cares in all-solution SAT solvers
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler
GLVLSI
2007
IEEE
151views VLSI» more  GLVLSI 2007»
14 years 1 months ago
Hand-in-hand verification of high-level synthesis
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Ma...
RAS
2010
216views more  RAS 2010»
13 years 8 months ago
A nonparametric learning approach to range sensing from omnidirectional vision
We present a novel approach to estimating depth from single omnidirectional camera images by learning the relationship between visual features and range measurements available dur...
Christian Plagemann, Cyrill Stachniss, Jürgen...
APSEC
2001
IEEE
14 years 1 months ago
Orchestrating Computations on the World-Wide Web
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
Jayadev Misra, Harrick M. Vin