Sciweavers

2162 search results - page 83 / 433
» Automated Reasoning on Feature Models
Sort
View
LPNMR
2001
Springer
15 years 10 months ago
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto
Lixto is a system and method for the visual and interactive generation of wrappers for Web pages under the supervision of a human developer, for automatically extracting informatio...
Robert Baumgartner, Sergio Flesca, Georg Gottlob
LICS
2000
IEEE
15 years 10 months ago
Game Semantics and Subtyping
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
Juliusz Chroboczek
ICTL
1994
15 years 10 months ago
A Survey of Concurrent METATEM - the Language and its Applications
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
Michael Fisher
ICCBR
2010
Springer
15 years 4 months ago
Experience-Based Critiquing: Reusing Critiquing Experiences to Improve Conversational Recommendation
Product recommendation systems are now a key part of many e-commerce services and have proven to be a successful way to help users navigate complex product spaces. In this paper, w...
Kevin McCarthy, Yasser Salem, Barry Smyth
VAMOS
2010
Springer
15 years 7 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...