Sciweavers

905 search results - page 105 / 181
» Code Generator Testing in Practice
Sort
View
ICML
2005
IEEE
15 years 10 months ago
Learning approximate preconditions for methods in hierarchical plans
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
Dana S. Nau, David W. Aha, Héctor Muñ...
HICSS
2008
IEEE
101views Biometrics» more  HICSS 2008»
15 years 4 months ago
The Value of Weak vs. Strong Ties between Individuals and Projects for New Product Review
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
Lynne P. Cooper
USS
2008
15 years 3 days ago
Experiences with Model Inference Assisted Fuzzing
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
Joachim Viide, Aki Helin, Marko Laakso, Pekka Piet...
AAAI
2010
14 years 11 months ago
How Incomplete Is Your Semantic Web Reasoner?
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
TRECVID
2008
14 years 11 months ago
Brno University of Technology at TRECVid 2008
In this paper we describe our experiments in all task of TRECVid 2008. This year, we have concentrated mainly on the local (affine covariant) image features and its transformation...
Petr Chmelar, Vítezslav Beran, Adam Herout,...