4609 search results - page 611 / 922 » Automatic Generation of Sigma-Protocols |
142
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
188
Voted
ICMLA
2008
15 years 8 months ago
2008
In reinforcement learning, it is a common practice to map the state(-action) space to a different one using basis functions. This transformation aims to represent the input data i...
167
click to vote
IJCAI
2007
15 years 8 months ago
2007
Recent development of location technologies enables us to obtain the location history of users. This paper proposes a new method to infer users’ longterm properties from their r...
149
Voted
IJCAI
2007
15 years 8 months ago
2007
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
228
click to vote
IJCAI
2007
15 years 8 months ago
2007
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...