Sciweavers

3406 search results - page 308 / 682
» Computational models of classical conditioning
Sort
View
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 11 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
CDC
2009
IEEE
152views Control Systems» more  CDC 2009»
15 years 11 months ago
Distributed image-based 3-D localization of camera sensor networks
— We consider the problem of distributed estimation of the poses of N cameras in a camera sensor network using image measurements only. The relative rotation and translation (up ...
Roberto Tron, René Vidal
KDD
2010
ACM
224views Data Mining» more  KDD 2010»
15 years 10 months ago
Multi-label learning by exploiting label dependency
In multi-label learning, each training example is associated with a set of labels and the task is to predict the proper label set for the unseen example. Due to the tremendous (ex...
Min-Ling Zhang, Kun Zhang
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 6 months ago
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, En...
DM
2007
100views more  DM 2007»
15 years 6 months ago
Hamiltonian paths with prescribed edges in hypercubes
Given a set P of at most 2n − 4 prescribed edges (n ≥ 5) and vertices u and v whose mutual distance is odd, the n-dimensional hypercube Qn contains a hamiltonian path between ...
Tomás Dvorák, Petr Gregor