2586 search results - page 11 / 518 » Automatic Abstraction for Congruences |
65
Voted
IV
2002
IEEE
15 years 2 months ago
2002
IEEE
from Abstract Data to Naturalistic Visual Structure A. Loizides and M.Slater Department of Computer Science, University College London (UCL), London, UK This paper demonstrates a ...
54
Voted
IJPP
2010
14 years 6 months ago
2010
ions Using High-Level Abstractions Chunhua Liao
ICCAD
1996
IEEE
15 years 1 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
93
Voted
FORTE
1997
14 years 11 months ago
1997
c Checking of Aggregation Abstractions Through State Enumeration Seungjoon Park, Member, IEEE, Satyaki Das, and David L. Dill, Member, IEEE —Aggregation abstraction is a way of d...
JASIS
2007
14 years 9 months ago
2007
sets of research abstracts that may be retrieved by a digital library or search engine in response to a user query. y dissertation abstracts were selected as the sample domain in t...