Sciweavers

1661 search results - page 251 / 333
» Space-time Interest Points
Sort
View
SAT
2010
Springer
174views Hardware» more  SAT 2010»
15 years 4 months ago
A System for Solving Constraint Satisfaction Problems with SMT
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
Miquel Bofill, Josep Suy, Mateu Villaret
TGIS
2010
142views more  TGIS 2010»
15 years 4 months ago
The Experience of Realizing a Semantic Web Urban Computing Application
Urban Computing is a branch of Pervasive Computing that investigates urban settings and everyday lifestyles. A lot of information to develop pervasive applications for urban enviro...
Emanuele Della Valle, Irene Celino, Daniele Dell'A...
TIP
2010
155views more  TIP 2010»
15 years 4 months ago
Laplacian Regularized D-Optimal Design for Active Learning and Its Application to Image Retrieval
—In increasingly many cases of interest in computer vision and pattern recognition, one is often confronted with the situation where data size is very large. Usually, the labels ...
Xiaofei He
TON
2010
89views more  TON 2010»
15 years 4 months ago
Demand-aware content distribution on the internet
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
Srinivas Shakkottai, Ramesh Johari
TVCG
2010
122views more  TVCG 2010»
15 years 4 months ago
Analysis of Recurrent Patterns in Toroidal Magnetic Fields
—In the development of magnetic confinement fusion which will potentially be a future source for low cost power, physicists must be able to analyze the magnetic field that con...
Allen R. Sanderson, Guoning Chen, Xavier Tricoche,...