672 search results - page 49 / 135 » Property-aware program sampling |
FORMATS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
BNCOD
2006
13 years 9 months ago
2006
The Lixto project is an ongoing research effort in the area of Web data extraction. Whereas the project originally started out with the idea to develop a logic-based extraction lan...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
DIMEA
2007
13 years 11 months ago
2007
The concept of Player Adaptive Entertainment Computing (PAEC) is introduced to provide personalized experiences when interacting with the entertainment media. Two of the important ...