8294 search results - page 969 / 1659 » Presenting Data from Experiments in Algorithmics |
218
click to vote
DIS
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
183
Voted
TACAS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
237
click to vote
TKDE
2010
15 years 5 months ago
2010
—Authority flow and proximity search have been used extensively in measuring the association between entities in data graphs, ranging from the Web to relational and XML database...
225
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
A novel algorithm called Average Neighborhood Margin Maximization (ANMM) is proposed for supervised linear feature extraction. For each data point, ANMM aims at pulling the neighb...
198
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Temporal classification, such as activity recognition, is a key component for creating intelligent robot systems. In the case of robots, classification algorithms mus...