Sciweavers

5109 search results - page 260 / 1022
» On Learning Limiting Programs
Sort
View
CP
2005
Springer
15 years 8 months ago
A Linear-Logic Semantics for Constraint Handling Rules
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
Hariolf Betz, Thom W. Frühwirth
ICSE
2009
IEEE-ACM
15 years 4 months ago
Increasing usability of preprocessing for feature management in product lines with queries
Managing features that have fine-grained impact on base programs is a challenging task in software product line development. Despite well-known problems, preprocessing (e.g., cpp)...
Stan Jarzabek, Hongyu Zhang, Youpeng Lee, Yinxing ...
157
Voted
MM
2000
ACM
166views Multimedia» more  MM 2000»
15 years 11 months ago
Automatically extracting highlights for TV Baseball programs
In today’s fast-paced world, while the number of channels of television programming available is increasing rapidly, the time available to watch them remains the same or is decr...
Yong Rui, Anoop Gupta, Alex Acero
GECCO
2008
Springer
115views Optimization» more  GECCO 2008»
15 years 7 months ago
A genetic programming approach to business process mining
The aim of process mining is to identify and extract process patterns from data logs to reconstruct an overall process flowchart. As business processes become more and more comple...
Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen
CONSTRAINTS
2008
182views more  CONSTRAINTS 2008»
15 years 6 months ago
Constraint Programming in Structural Bioinformatics
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
Pedro Barahona, Ludwig Krippahl