Sciweavers

2448 search results - page 271 / 490
» The Octahedron Abstract Domain
Sort
View
CICLING
2007
Springer
15 years 10 months ago
The Usefulness of Conceptual Representation for the Identification of Semantic Variability Expressions
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
Zornitsa Kozareva, Sonia Vázquez, Andr&eacu...
PERSUASIVE
2010
Springer
15 years 10 months ago
Activity-Based Micro-pricing: Realizing Sustainable Behavior Changes through Economic Incentives
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
Tetsuo Yamabe, Vili Lehdonvirta, Hitoshi Ito, Hayu...
CIARP
2009
Springer
15 years 10 months ago
Filter Banks for Hyperspectral Pixel Classification of Satellite Images
Abstract. Satellite hyperspectral imaging deals with heterogenous images containing different texture areas. Filter banks are frequently used to characterize textures in the image ...
Olga Rajadell, Pedro García-Sevilla, Filibe...
ECML
2007
Springer
15 years 10 months ago
Efficient Continuous-Time Reinforcement Learning with Adaptive State Graphs
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
Gerhard Neumann, Michael Pfeiffer, Wolfgang Maass
FMCAD
2007
Springer
15 years 10 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...