Sciweavers

166 search results - page 31 / 34
» An Intermediate Expressions' Generator System in the MPEG-4 ...
Sort
View
CAV
2010
Springer
282views Hardware» more  CAV 2010»
13 years 11 months ago
A NuSMV Extension for Graded-CTL Model Checking
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
Alessandro Ferrante, Maurizio Memoli, Margherita N...
ECP
1997
Springer
128views Robotics» more  ECP 1997»
13 years 11 months ago
SINERGY: A Linear Planner Based on Genetic Programming
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
Ion Muslea
COMPUTER
2007
135views more  COMPUTER 2007»
13 years 7 months ago
A Language for Human Action
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
KDD
2002
ACM
175views Data Mining» more  KDD 2002»
14 years 7 months ago
Mining product reputations on the Web
Knowing the reputations of your own and/or competitors' products is important for marketing and customer relationship management. It is, however, very costly to collect and a...
Satoshi Morinaga, Kenji Yamanishi, Kenji Tateishi,...
MMM
2009
Springer
169views Multimedia» more  MMM 2009»
14 years 4 months ago
Personalized Image Recommendation
—In this paper, we have developed a novel framework called JustClick to enable personalized image recommendation via exploratory search from large-scale collections of manuallyan...
Yuli Gao, Hangzai Luo, Jianping Fan