7189 search results - page 533 / 1438 » Connecting Design with Code |
197
Voted
ICDM
2002
IEEE
16 years 9 days ago
2002
IEEE
We investigate new approaches for frequent graph-based pattern mining in graph datasets and propose a novel algorithm called gSpan (graph-based Substructure pattern mining), which...
192
Voted
CC
2001
Springer
15 years 12 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
192
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
A system is presented to visualize information about city with a three-dimensional web user interface. We present a novel way to connect a VRML world to an information database. A...
177
Voted
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of optimization of subband coders for given input statistics has received considerable attention in recent literature. The goal in these works has been to maximize the...
167
click to vote
LREC
2008
15 years 8 months ago
2008
The Data Category Registry is one of the ISO initiatives towards the establishment of standards for Language Resource management, creation and coding. Successful application of th...