4438 search results - page 471 / 888 » The Case for Collaborative Programming |
175
click to vote
ICALP
2005
Springer
16 years 11 days ago
2005
Springer
In the Euclidean group Traveling Salesman Problem (TSP), we are given a set of points P in the plane and a set of m connected regions, each containing at least one point of P. We w...
145
click to vote
IFM
2005
Springer
16 years 10 days ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
178
click to vote
ISMIR
2005
Springer
16 years 10 days ago
2005
Springer
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
185
click to vote
MPC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
175
click to vote
COMPSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
Testing is the most commonly used approach to the assurance of software quality and reliability. The testing of object-oriented software is much more complex than that of conventi...