2162 search results - page 114 / 433 » Automated Reasoning on Feature Models |
152
click to vote
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...
153
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
152
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
118
click to vote
CSL
2000
Springer
15 years 3 months ago
2000
Springer
Conversational speech exhibits considerable pronunciation variability, which has been shown to have a detrimental effect on the accuracy of automatic speech recognition. There hav...
113
click to vote
WSC
1997
15 years 5 months ago
1997
The data collection and the automatic run-length control features provided in the CSIM18 library allow model builders to easily collect valid data from a simulation model and to b...