2162 search results - page 223 / 433 » Automated Reasoning on Feature Models |
129
click to vote
GIS
1995
ACM
15 years 8 months ago
1995
ACM
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
151
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
183
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Robustness is one of the most important topics for automatic speech recognition (ASR) in practical applications. Monaural speech separation based on computational auditory scene a...
160
click to vote
GIS
2002
ACM
15 years 4 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
134
click to vote
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...