DAGSTUHL 2006 - PDF Preprint Papers

DAGSTUHL 2006 Scientific Visualization Conference

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed DAGSTUHL-2006 Paper

click to vote

DAGSTUHL
2006

386views Software Engineering» more DAGSTUHL 2006»

Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision

14 years 25 days ago

Download www.fei.edu.br

We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...

Anthony G. Cohn, David C. Hogg, Brandon Bennett, V...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	386	Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision	claim
2	255	Status of Empirical Research in Software Engineering	claim
3	215	Many-to-Many Feature Matching in Object Recognition	claim
4	210	Are we Ready to Embrace the Semantic Web?	claim
5	199	A Reconfigurable Outer Modem Platform for Future Communications Systems	claim
6	198	Industry-Research Collaboration Working Group Results	claim
7	195	Aspect-Oriented Techniques for Web Services: a Model-Driven Approach	claim
8	193	The Software Similarity Problem in Malware Analysis	claim
9	191	Complexity Monotone in Conditions and Future Prediction Errors	claim
10	184	DecSerFlow: Towards a Truly Declarative Service Flow Language	claim
11	181	A User-Oriented Approach to Music Information Retrieval	claim
12	180	Structural Descriptors for 3D Shapes	claim
13	174	MathBrush: An Experimental Pen-Based Math System	claim
14	174	6D SLAM with Cached kd-tree Search	claim
15	172	Hierarchies Relating Topology and Geometry	claim
16	169	A Model-Based Approach To Requirements Analysis	claim
17	168	Interleaving Object Categorization and Segmentation	claim
18	165	A Bayesian Reputation System for Virtual Organizations	claim
19	165	Point-set algorithms for pattern discovery and pattern matching in music	claim
20	165	06431 Working Group Summary: Atomicity in Mobile Networks	claim
21	164	On Complexity of Optimized Crossover for Binary Representations	claim
22	163	Empirical Software Engineering Research Roadmap Discussion and Summary	claim
23	160	Application of Kolmogorov complexity and universal codes to identity testing and nonparametric testing of serial independence for time series.	claim
24	159	Towards a Services-Based Process Platform	claim
25	157	Approaches to Compute Workflow Complexity	claim
26	156	AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects	claim
27	156	A Cross-Language Approach to Historic Document Retrieval	claim
28	156	Cognitive Vision Needs Attention to Link Sensing with Recognition	claim
29	155	Survey of Research on Software Clones	claim
30	155	Model-Driven and Pattern-Based Integration of Process-Driven SOA Models	claim
31	154	Empirical Software Engineering Research Roadmap Introduction	claim
32	154	The complexity of Boolean functions from cryptographic viewpoint	claim
33	153	Pre-Routed FPGA Cores for Rapid System Construction in a Dynamic Reconfigurable System	claim
34	152	Greedy Kernel Principal Component Analysis	claim
35	151	A convenient category of domains	claim
36	149	The Formal Specification Language mCRL2	claim
37	148	06271 Abstracts Collection -- Challenges in Symbolic Computation Software	claim
38	147	Semidefinite programming characterization and spectral adversary method for quantum complexity with noncommuting unitary queries	claim
39	146	Managing power amongst a group of networked embedded fpgas using dynamic reconfiguration and task migration	claim
40	146	Abstracting out Byzantine Behavior	claim
41	146	06121 Abstracts Collection -- Atomicity: A Unifying Concept in Computer Science	claim
42	146	Efficient Software Model Checking of Data Structure Properties	claim
43	146	On Scene Interpretation with Description Logics	claim
44	145	Shaman: Software and Human Agents in Multiattribute Auctions and Negotiations	claim
45	145	Things That See: Context-Aware Multi-modal Interaction	claim
46	144	A Petri Net Approach to Verify and Debug Simulation Models	claim
47	143	Abstract Interpretation of Graph Transformation	claim
48	142	The Factorized Distribution Algorithm and the Minimum Relative Entropy Principle	claim
49	142	Competitive Online Searching for a Ray in the Plane	claim
50	142	Denial of Service Protection with Beaver	claim
51	142	06371 Abstracts Collection -- From Security to Dependability	claim
52	141	Optimal Bidding Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes	claim
53	141	Similarity in Programs	claim
54	140	Physical 2D Morphware and Power Reduction Methods for Everyone	claim
55	138	Context Dependent Analysis of BioAmbients	claim
56	137	How fast does the stationary distribution of the Markov chain modelling EAs concentrate on the homogeneous populations for small mutation rate?	claim
57	136	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems	claim
58	136	A System for Object Class Detection	claim
59	135	Fault Jumping Attacks against Shrinking Generator	claim
60	135	Adaptive Analysis of On-line Algorithms	claim
61	134	Data Sharing Enabling Technologies Working Group Results	claim
62	134	A Framework for Analyzing Composition of Security Aspects	claim
63	134	Face-off: AOP+LMP vs. legacy software	claim
64	134	Static Analysis of a Model of the LDL Degradation Pathway	claim
65	133	06111 Abstracts Collection -- Complexity of Boolean Functions	claim
66	133	Recent Results in Universal and Non-Universal Induction	claim
67	133	Benefits of Bio-inspired Technologies for Networked Embedded Systems: An Overview	claim
68	132	Techniques for Empirical Validation	claim
69	132	Negotiation or Auction? The NorA project	claim
70	132	Managing Known Clones: Issues and Open Questions	claim
71	132	06131 Abstracts Collection -- Peer-to -Peer -Systems and -Applications	claim
72	132	XPathMark: Functional and Performance Tests for XPath	claim
73	131	GNU TeXmacs	claim
74	131	06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures	claim
75	130	Vertex reconstruction in Cayley graphs	claim
76	130	Efficient multi-step query processing for EMD-based similarity	claim
77	130	Binary Lambda Calculus and Combinatory Logic	claim
78	129	Challenges in Computational Commutative Algebra	claim
79	129	Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting	claim
80	129	Enabling RTR for industry	claim
81	129	Bounds on the Fourier Coefficients of the Weighted Sum Function	claim
82	129	06311 Abstracts Collection -- Sensor Data and Information Fusion in Computer Vision and Medicine	claim
83	129	Introductory Remarks	claim
84	128	Nonlinear Transaction Pricing in the Securities Trading Value Chain	claim
85	128	Rule-based Model Extraction from Source Code	claim
86	128	Adaptive Triangular System Solving	claim
87	128	A Proposal to add Interval Arithmetic to the C++ Standard Library	claim
88	127	Coxeter Lattice Paths	claim
89	127	Reliability-Aware Power Management Of Multi-Core Systems (MPSoCs)	claim
90	127	06051 Abstracts Collection -- Kolmogorov Complexity and Applications	claim
91	127	06421 Abstracts Collection -- Robot Navigation	claim
92	127	The Space of Cognitive Vision	claim
93	126	06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)	claim
94	126	A New Quartet Tree Heuristic for Hierarchical Clustering	claim
95	125	Formalizing On Chip Communications in a Functional Style	claim
96	125	Negotiation Fever: Loss Aversion in Multi-Issue Negotiations	claim
97	125	Decentralization and Mechanism Design for Online Machine Scheduling	claim
98	125	06302 Abstracts Collection -- Aspects For Legacy Applications	claim
99	125	Bridging the Gap between Relocatability and Available Technology: The Erlangen Slot Machine	claim
100	124	Challenges and Unsolved Problems	claim
101	124	XAIRA : software for language analysis	claim
102	124	Model Transformation Technologies in the Context of Modelling Software Systems	claim
103	124	Partial Matching by Structural Descriptors	claim
104	124	The optimal sequence compression	claim
105	124	06061 Abstracts Collection -- Theory of Evolutionary Algorithms	claim
106	123	Prediction Markets: How Do Incentive Schemes Affect Prediction Accuracy?	claim
107	123	06451 Abstracts Collection -- Circuits, Logic, and Games	claim
108	123	Enriched categories and models for spaces of dipaths	claim
109	122	Choreography Conformance Checking: An Approach based on BPEL and Petri Nets	claim
110	122	Partial Behavioural Models for Requirements and Early Design	claim
111	122	Reconfigurable Processing Units vs. Reconfigurable Interconnects	claim
112	122	Approximability of Minimum AND-Circuits	claim
113	122	Automatic Meaning Discovery Using Google	claim
114	122	06031 Abstracts Collection -- Organic Computing -- Controlled Emergence	claim
115	122	Counting Results in Weak Formalisms	claim
116	122	Management and Conflation of Multiple Representations within an Open Federation Platform	claim
117	122	06172 Abstracts Collection -- Directed Model Checking	claim
118	121	Using Abstraction in Modular Verification of Synchronous Adaptive Systems	claim
119	121	Information Access to Historical Documents from the Early New High German Period	claim
120	121	Detection of Plagiarism in University Projects Using Metrics-based Spectral Similarity	claim
121	121	Subjectivity in Clone Judgment: Can We Ever Agree?	claim
122	121	Geometric Distance Estimation for Sensor Networks and Unit Disk Graphs	claim
123	121	06391 Abstracts Collection -- Algorithms and Complexity for Continuous Problems	claim
124	120	Software Support Tools and Experimental Work	claim
125	120	Explaining Data Type Reduction in the Shape Analysis Framework	claim
126	120	Properties and Performances of Shape Similarity Measures	claim
127	120	Reconfigurable Architectures and Instruction Sets: Programmability, Code Generation, and Program Execution	claim
128	120	06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems	claim
129	119	06171 Abstracts Collection -- Content-Based Retrieval	claim
130	119	06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems	claim
131	118	After the search is over ... the work begins	claim
132	118	06431 Abstracts Collection -- Scalable Data Management in Evolving Networks	claim
133	117	Error in Enumerable Sequence Prediction	claim
134	117	On impossibility of sequential algorithmic forecasting	claim
135	117	Instant topological relationships hidden in the reality	claim
136	116	Introduction to Human-Centered Visualization Environments	claim
137	116	Sellers Competing for Buyers in Online Markets	claim
138	116	Market Engineering: An Interdisciplinary Research Challenge	claim
139	116	System model for UML -- The interactions case	claim
140	116	Analysis of Dynamic Communicating Systems by Hierarchical Abstraction	claim
141	115	SANA - Security Analysis in Internet Traffic through Artificial Immune Systems	claim
142	115	A SOA-Based Architecture Framework	claim
143	115	GerManC - Towards a Methodology for Constructing and Annotating Historical Corpora	claim
144	115	On the Design of Simple Multi-unit Online Auctions	claim
145	115	Towards bounded wait-free PASIS	claim
146	114	Roadmapping Working Group 4 Results	claim
147	114	On the Monotonicity of the String Correction Factor for Words with Mismatches	claim
148	114	On the Topologies Formed by Selfish Peers	claim
149	114	Cognitive Vision Systems: From Ideas to Specifications	claim
150	113	On Comparison of Mechanisms of Economic and Social Exchanges: The Times Model	claim
151	113	Stochastic Process Algebra Models of a Circadian Clock	claim
152	113	Fairness in Peer-to-Peer Networks	claim
153	112	Using fast matrix multiplication to solve structured linear systems	claim
154	112	Creation of a Digital Corpus of Bulgarian Dialects	claim
155	112	Code Clones: Reconsidering Terminology	claim
156	112	Program Compression	claim
157	112	P2P XQuery and the StreetTiVo application	claim
158	111	Payoff levels, loss avoidance, and equilibrium selection in the Stag Hunt: an experimental study	claim
159	111	Constraint Satisfaction with Succinctly Specified Relations	claim
160	111	Model Development in the UML-based Specification Environment (USE)	claim
161	111	Local Minimax Learning of Approximately Polynomial Functions	claim
162	110	Feature-driven Emergence of Model Graphs for Object Recognition and Categorization	claim
163	110	06101 Abstracts Collection -- Spatial Data: mining, processing and communicating	claim
164	109	Searching in text databases with non-standard orthography	claim
165	109	Rule-based search in historical text databases - Visualization techniques	claim
166	109	Clone Detector Use Questions: A List of Desirable Empirical Studies	claim
167	108	Population models from PEPA descriptions	claim
168	108	Using Quantum Oblivious Transfer to Cheat Sensitive Quantum Bit Commitment	claim
169	108	Very Large Cliques are Easy to Detect	claim
170	107	An Operator-based Approach to Incremental Development of Conform Protocol State Machines	claim
171	107	06301 Abstracts Collection -- Duplication, Redundancy, and Similarity in Software	claim
172	107	Graphs and Circuits: Some Further Remarks	claim
173	107	Closure and Causality	claim
174	106	Probabilistically Stable Numerical Sparse Polynomial Interpolation	claim
175	106	Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization	claim
176	106	06091 Abstracts Collection -- Data Structures	claim
177	106	06472 Abstracts Collection -- XQuery Implementation Paradigms	claim
178	105	Guideline: Multiple Hierarchies	claim
179	105	06401 Abstracts Collection - Complexity of Constraints	claim
180	105	Modeling and Aspect Weaving	claim
181	105	Some Algebraic Problems with Connections to Circuit Complexity of Dynamic Data Structures	claim
182	104	Notes on computing minimal approximant bases	claim
183	104	A Multifunctional Historical Document Research System	claim
184	104	Suballowable sequences of permutations	claim
185	104	Subwords in reverse-complement order	claim
186	104	Multisource Algorithmic Information Theory	claim
187	104	A note on the size of Craig Interpolants	claim
188	103	A Taxonomy of Aspects in Terms of Crosscutting Concerns	claim
189	103	On Probabilistic Time versus Alternating Time	claim
190	103	Reference Point Approaches and Objective Ranking	claim
191	102	An Algorithm for Matching Nondeterministic Services with Operating Guidelines	claim
192	100	The Role of Controlled Experiments in Software Engineering Research	claim
193	100	Bounds and algebraic algorithms in differential algebra: the ordinary case	claim
194	100	Towards UML Modelling Extra-Functional Properties in Web Services and their Clients	claim
195	99	TEI and Microsoft: a marriage made in...	claim
196	99	Taming Dynamic and Selfish Peers	claim
197	98	Shape Analysis of Sets	claim
198	97	An Introduction to the Tool Ticc	claim
199	95	New tricks from an old dog: An overview of TEI P5	claim
200	95	Extracting Visibility Information by Following Walls	claim
201	93	Two Families of Algorithms for Symbolic Polynomials	claim
202	93	New Algebraic Tools for Constraint Satisfaction	claim
203	93	Computation of the Minimal Associated Primes	claim
204	89	Learning in Reactive Environments with Arbitrary Dependence	claim
205	84	Non--binary error correcting codes with noiseless feedback, localized errors, or both	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers