Sciweavers

3602 search results - page 11 / 721
» Isn't It About Time
Sort
View
ICSE
2009
IEEE-ACM
14 years 8 months ago
Reasoning about edits to feature models
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
Christian Kästner, Don S. Batory, Thomas Th&u...
CACM
2010
113views more  CACM 2010»
13 years 7 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
GECCO
2007
Springer
186views Optimization» more  GECCO 2007»
14 years 1 months ago
Cascaded generic XCS to learn about reminding preferences
We are developing an adaptive reminding system, which learns when and how to present notifications. In this paper, we focus on our XCS-based model, composed of two cascaded sets ...
Nadine Richard, Samuel Tardieu, Seiji Yamada
EDOC
2006
IEEE
14 years 1 months ago
What Applying of the ODP Viewpoints Teaches Us about Tool-Chains
For some time, we have focused our research on the generic B2B middleware services for managing interenterprise communities of autonomous business services. In contrast to some ea...
Lea Kutvonen
IWCIA
2009
Springer
14 years 3 days ago
What Does Digital Straightness Tell about Digital Convexity?
Abstract. The paper studies local convexity properties of parts of digital boundaries. An online and linear-time algorithm is introduced for the decomposition of a digital boundary...
Tristan Roussillon, Laure Tougne, Isabelle Sivigno...