7123 search results - page 178 / 1425 » The Ordered Set of Rough Sets |
152
click to vote
SPIN
2007
Springer
16 years 18 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
167
click to vote
ICDT
2005
ACM
16 years 14 hour ago
2005
ACM
We consider the problem of retrieving consistent answers over databases that might be inconsistent with respect to some given integrity constraints. In particular, we concentrate o...
166
click to vote
NOLISP
2005
Springer
15 years 12 months ago
2005
Springer
Novel speech features calculated from third-order statistics of subband-filtered speech signals are introduced and studied for robust speech recognition. These features have the p...
142
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
174
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...