4013 search results - page 199 / 803 » computer 2002 |
108
click to vote
FAC
2002
15 years 3 months ago
2002
proach to Abstract Syntax with Variable Binding1 Murdoch J. Gabbay and Andrew M. Pitts Cambridge University Computer Laboratory, Cambridge, UK
123
click to vote
DCC
2002
IEEE
15 years 3 months ago
2002
IEEE
Asymptotically bounding the covering radius in terms of the dual distance is a well-studied problem. We will combine the polynomial approach with estimates of the distance distribu...
129
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
This paper explores the limitations of one technique for modelling computer-based systems with evolving requirements. A case study is introduced which highlights the importance of...
121
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper proposes two modifications to the geometrically deformable template model. First, the optimization stage originally based on simulated annealing is replaced with a meta...
121
click to vote
CAD
2002
Springer
15 years 4 months ago
2002
Springer
A reasoning Boolean operation based CAD modeling approach applied to construct heterogeneous material objects is presented. This reasoning Boolean operation consists of a merging ...