1941 search results - page 321 / 389 » Reasoning about Computations Using Two-Levels of Logic |
125
click to vote
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
165
Voted
PODC
2012
ACM
13 years 5 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...
222
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
112
click to vote
ICAT
2006
IEEE
15 years 9 months ago
2006
IEEE
Today, hand-held computing and media devices are commonly used in our everyday lives. This paper assesses the viability of hand-held devices as effective platforms for “virtual r...
112
Voted
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...