Sciweavers

3092 search results - page 365 / 619
» Where are you pointing
Sort
View
148
Voted
WWW
2008
ACM
16 years 6 months ago
A generic framework for collaborative multi-perspective ontology acquisition
The research objective of this work is to develop a general framework that incorporates collaborative social tagging with a novel ontology scheme conveying multiple perspectives. ...
Maayan Zhitomirsky-Geffet, Judit Bar-Ilan, Yitzcha...
POPL
2009
ACM
16 years 6 months ago
Wild control operators
Linguists seek to understand the semantics of expressions in human languages. Taking a computational point of view, there are many natural language expressions--operators in the w...
Chris Barker
CP
2009
Springer
16 years 6 months ago
Filtering Numerical CSPs Using Well-Constrained Subsystems
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
155
Voted
ICIAP
2009
ACM
16 years 6 months ago
Towards a Subject-Centered Analysis for Automated Video Surveillance
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...
Michela Farenzena, Loris Bazzani, Vittorio Murino,...
159
Voted
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 6 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann