8109 search results - page 364 / 1622 » A Model of Component-Based Programming |
182
click to vote
AAIM
2009
Springer
16 years 1 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
171
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
194
Voted
CSCLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
142
Voted
ILP
2004
Springer
16 years 4 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
231
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...