2701 search results - page 161 / 541 » On the form of witness terms |
150
click to vote
VVS
1998
IEEE
15 years 10 months ago
1998
IEEE
The process of generating discrete surfaces in a volumetric representation, termed voxelization, is confronted with topological considerations as well as accuracy and efficiency r...
173
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The phrase "virtual community" is often used to describe long term, computer-mediated conversations amongst large groups. This paper suggests that such conversations may...
140
click to vote
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
157
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
{ Mobile and personal communication systems form key market areas for the electronics industry of the nineties. Stringent requirements in terms of
exibility, performance and power...
189
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...