Sciweavers

316 search results - page 39 / 64
» Expressiveness of graph conditions with variables
Sort
View
113
Voted
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 9 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
GECCO
2004
Springer
155views Optimization» more  GECCO 2004»
15 years 3 months ago
Genetic Network Programming with Reinforcement Learning and Its Performance Evaluation
A new graph-based evolutionary algorithm named “Genetic Network Programming, GNP” has been proposed. GNP represents its solutions as directed graph structures, which can improv...
Shingo Mabu, Kotaro Hirasawa, Jinglu Hu
CIVR
2006
Springer
121views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Finding Faces in Gray Scale Images Using Locally Linear Embeddings
The problem of face detection remains challenging because faces are non-rigid objects that have a high degree of variability with respect to head rotation, illumination, facial exp...
Samuel Kadoury, Martin D. Levine
74
Voted
TIT
2010
140views Education» more  TIT 2010»
14 years 4 months ago
On the analytic wavelet transform
An exact and general expression for the analytic wavelet transform of a real-valued signal is constructed, resolving the time-dependent effects of non-negligible amplitude and fre...
Jonathan M. Lilly, Sofia C. Olhede
PDP
2006
IEEE
15 years 3 months ago
A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW
Highly interactive collaborative applications need to offer each user a consistent view of the interactions represented by the streams exchanged between dispersed groups of users....
Cezar Plesca, Romulus Grigoras, Philippe Qué...