Sciweavers

2308 search results - page 266 / 462
» Representing Symbolic Reasoning
Sort
View
VTC
2007
IEEE
133views Communications» more  VTC 2007»
16 years 23 days ago
An Architecture for Situation-Aware Driver Assistance Systems
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...
Matthias Röckl, Patrick Robertson, Korbinian ...
LOPSTR
2007
Springer
16 years 19 days ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
IJCNN
2006
IEEE
16 years 16 days ago
An Architecture for Object-based Saccade Generation using a Biologically Inspired Self-organised Retina
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
Sanjeeva Balasuriya, Paul Siebert
NDSS
2006
IEEE
16 years 15 days ago
Toward a Practical Data Privacy Scheme for a Distributed Implementation of the Smith-Waterman Genome Sequence Comparison Algorit
Volunteer distributed computations utilize spare processor cycles of personal computers that are connected to the Internet. The resulting platforms provide computational power pre...
Doug Szajda, Michael Pohl, Jason Owen, Barry G. La...
BIRTHDAY
2005
Springer
16 years 1 days ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson