Sciweavers

8587 search results - page 241 / 1718
» Interactive dynamic abstraction
Sort
View
JANCL
2007
106views more  JANCL 2007»
15 years 6 months ago
Dynamic logic for belief revision
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
Johan van Benthem
RECOMB
2005
Springer
16 years 6 months ago
Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks
Abstract. The interpretation of large-scale protein network data depends on our ability to identify significant sub-structures in the data, a computationally intensive task. Here w...
Jacob Scott, Trey Ideker, Richard M. Karp, Roded S...
ICIAR
2009
Springer
16 years 1 months ago
Interacting with Digital Signage Using Hand Gestures
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...
Qing Chen, François Malric, Yi Zhang, Muham...
LION
2009
Springer
112views Optimization» more  LION 2009»
16 years 1 months ago
A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...
Valerio Freschi
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
16 years 28 days ago
Manipulating articulated objects with interactive perception
Abstract— Robust robotic manipulation and perception remains a difficult challenge, in particular in unstructured environments. To address this challenge, we propose to couple m...
Dov Katz, Oliver Brock