395 search results - page 24 / 79 » Predicate Abstraction with Minimum Predicates |
141
Voted
TCC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...
97
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The SPARQL Query Language allows filtering of query results through arbitrary predicate expressions. Such expressions may invoke custom functions identified with IRIs, ...
113
Voted
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
127
Voted
SPLST
2003
15 years 4 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
147
Voted
ICML
1999
IEEE
16 years 3 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...