1011 search results - page 142 / 203 » The three dimensions of proofs |
185
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
Shape completion is an intriguing problem in geometry processing with applications in CAD and graphics. This paper defines a new type of 3D curves, which can be utilized for curv...
165
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The problem of total participation in asynchronous meetings convened with distributed group support systems has been noted frequently but investigated rarely. This paper describes...
151
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The central question of this paper is: How can design of Program Management contribute to the success of complex software implementations? Incomplete goal specifications, lack of ...
166
click to vote
IEEEAMS
2002
IEEE
2002
IEEE
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
15 years 11 months ago
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
182
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...