3575 search results - page 315 / 715 » Presentations of computably enumerable reals |
141
click to vote
ISPDC
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
193
Voted
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
Most prior theoretical research on partitioning algorithms for real-time multiprocessor platforms has focused on ensuring that the cumulative computing requirements of the tasks a...
197
click to vote
ISVC
2005
Springer
16 years 6 days ago
2005
Springer
This research features a novel approach that efficiently detects depth edges in real world scenes. Depth edges play a very important role in many computer vision problems because t...
192
click to vote
TLCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
134
click to vote
NORDICHI
2004
ACM
16 years 4 days ago
2004
ACM
We present Place Storming, an original method of brainstorming technological concepts, particularly in the area of pervasive computing. Place Storming is contextdriven and play-ba...