Sciweavers

7049 search results - page 412 / 1410
» Data Abstraction for CSP-OZ
Sort
View
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 7 days ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
ICRA
2003
IEEE
109views Robotics» more  ICRA 2003»
16 years 5 days ago
Narrative situation assessment for human-robot interaction
Abstract— In this paper we address the problem of interpreting sensory data for human-robot interaction, especially when gathered from several robots at the same time. After desc...
Björn Jensen, Roland Philippsen, Roland Siegw...
GECCO
2003
Springer
322views Optimization» more  GECCO 2003»
16 years 3 days ago
AntClust: Ant Clustering and Web Usage Mining
Abstract. In this paper, we propose a new ant-based clustering algorithm called AntClust. It is inspired from the chemical recognition system of ants. In this system, the continuou...
Nicolas Labroche, Nicolas Monmarché, Gilles...
HAIS
2009
Springer
15 years 11 months ago
Incremental Kernel Machines for Protein Remote Homology Detection
Abstract. Protein membership prediction is a fundamental task to retrieve information for unknown or unidentified sequences. When support vector machines (SVMs) are associated with...
Lionel Morgado, Carlos Pereira
KDD
2009
ACM
165views Data Mining» more  KDD 2009»
15 years 11 months ago
Pricing guidance in ad sale negotiations: the PrintAds example
We consider negotiations between publishers and advertisers in a marketplace for ads. Motivated by Google’s online PrintAds system which is such a marketplace, we focus on the r...
Adam Isaac Juda, S. Muthukrishnan, Ashish Rastogi