Sciweavers

1689 search results - page 295 / 338
» Refining abstract interpretations
Sort
View
ADHOCNETS
2009
Springer
15 years 4 months ago
Supporting Proactive Application Event Notification to Improve Sensor Network Performance
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
Christophe J. Merlin, Wendi B. Heinzelman
DLOG
2007
15 years 4 months ago
Action Based ABox Update: an Example from the Chemical Compound Formulation
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
Alessandro Mosca, Matteo Palmonari
AUSAI
2008
Springer
15 years 4 months ago
Additive Regression Applied to a Large-Scale Collaborative Filtering Problem
Abstract. The much-publicized Netflix competition has put the spotlight on the application domain of collaborative filtering and has sparked interest in machine learning algorithms...
Eibe Frank, Mark Hall
ACRI
2006
Springer
15 years 4 months ago
From Cells to Islands: An Unified Model of Cellular Parallel Genetic Algorithms
Abstract. This paper presents the Anisotropic selection scheme for cellular Genetic Algorithms (cGA). This new scheme allows to enhance diversity and to control the selective press...
David Simoncini, Philippe Collard, Sébastie...
COGSYS
2005
Springer
15 years 3 months ago
Natural Language Dialog with a Tutor System for Mathematical Proofs
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
Christoph Benzmüller, Helmut Horacek, Ivana K...