2585 search results - page 179 / 517 » computing 1999 |
115
click to vote
MFCS
1999
Springer
15 years 8 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...
105
click to vote
CVPR
1999
IEEE
16 years 5 months ago
1999
IEEE
An approach that allows a user to assist an automatic system in modeling buildings is described. The approach is designed to be efficient in user time and effort while preserving ...
134
Voted
CVPR
1999
IEEE
15 years 8 months ago
1999
IEEE
While a tracking system is unaware of the identity of any object it tracks, the identity remains the same for the entire tracking sequence. Our system leverages this information b...
125
click to vote
SOFSEM
1999
Springer
15 years 8 months ago
1999
Springer
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
122
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a coarse grained parallel algorithm for computing a maximum matching in a convex bipartite graph G = A;B;E. For p processors with N=p memory per processor, N = jAj+jBj,...