Sciweavers

426 search results - page 60 / 86
» Possibilistic Stable Model Computing
Sort
View
ICLP
2010
Springer
13 years 11 months ago
Tight Semantics for Logic Programs
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
Luís Moniz Pereira, Alexandre Miguel Pinto
NAR
2011
257views Computer Vision» more  NAR 2011»
12 years 10 months ago
The STRING database in 2011: functional interaction networks of proteins, globally integrated and scored
An essential prerequisite for any systems-level understanding of cellular functions is to correctly uncover and annotate all functional interactions among proteins in the cell. To...
Damian Szklarczyk, Andrea Franceschini, Michael Ku...
HAPTICS
2008
IEEE
13 years 8 months ago
Haptic Interaction with Soft Tissues Based on State-Space Approximation
The well known property of haptic interaction is the high refresh rate of the haptic loop that is necessary for the stability of the interaction. Therefore, only simple computation...
Igor Peterlík, Ludek Matyska
CVPR
2007
IEEE
14 years 9 months ago
Kinematics from Lines in a Single Rolling Shutter Image
Recent work shows that recovering pose and velocity from a single view of a moving rigid object is possible with a rolling shutter camera, based on feature point correspondences. ...
Omar Ait-Aider, Adrien Bartoli, Nicolas Andreff
ICCV
1999
IEEE
14 years 9 months ago
Object Recognition from Local Scale-Invariant Features
Proc. of the International Conference on Computer Vision, Corfu (Sept. 1999) An object recognition system has been developed that uses a new class of local image features. The fea...
David G. Lowe