1722 search results - page 130 / 345 » Dedication |
124
click to vote
TCS
2008
15 years 3 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
120
click to vote
CACM
2005
15 years 3 months ago
2005
them as an abstract cellular model where users access information through access points. ract model consists of a base station, a number of clients, and a number of channels. A cli...
102
Voted
JSC
2007
15 years 3 months ago
2007
We present an algorithm which, given a deformation with section of a reduced plane curve singularity, computes equations for the equisingularity stratum (that is, the µ-constant s...
108
click to vote
TVLSI
2008
15 years 3 months ago
2008
Up to 53% of the time spent on testing current Intel microprocessors is needed to test on-chip caches, due to the high complexity of memory tests and to the large amount of transis...
130
click to vote
VC
2008
15 years 3 months ago
2008
This paper is dedicated to virtual world exploration techniques. Automatic camera control is important in many fields as computational geometry, visual servoing, robot motion, grap...