7351 search results - page 1276 / 1471 » Segmenting Point Sets |
173
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
150
click to vote
FOCS
1998
IEEE
15 years 10 months ago
1998
IEEE
In the Finite Capacity Dial-a-Ride problem the input is a metric space, a set of objects {di}, each specifying a source si and a destination ti, and an integer k--the capacity of t...
173
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
174
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
The historical development of hypermedia systems can be rized as a series of successive abstractions of functionality away from the "core" hypermedia server, often resul...
191
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...