Sciweavers

1143 search results - page 177 / 229
» Mental models of recursion
Sort
View
99
Voted
CAV
2009
Springer
134views Hardware» more  CAV 2009»
16 years 1 months ago
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
Alexander Wenner, Markus Müller-Olm, Peter La...
107
Voted
ICDE
2010
IEEE
224views Database» more  ICDE 2010»
16 years 9 days ago
Probabilistic Declarative Information Extraction
Abstract-Unstructured text represents a large fraction of the world's data. It often contain snippets of structured information within them (e.g., people's names and zip ...
Daisy Zhe Wang, Eirinaios Michelakis, Joseph M. He...
102
Voted
IDA
2009
Springer
15 years 7 months ago
Cumulative State Coherence Transform for a Robust Two-Channel Multiple Source Localization
This work presents a novel robust method for a two-channel multiple Time Difference of Arrival (TDOA) estimation. The method is based on a recursive frequency-domain Independent C...
Francesco Nesta, Piergiorgio Svaizer, Maurizio Omo...
125
Voted
TIME
2006
IEEE
15 years 6 months ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
SAC
2006
ACM
15 years 6 months ago
Facial emotion recognition by adaptive processing of tree structures
We present an emotion recognition system based on a probabilistic approach to adaptive processing of Facial Emotion Tree Structures (FETS). FETS are made up of localized Gabor fea...
Jia-Jun Wong, Siu-Yeung Cho