Sciweavers

2436 search results - page 337 / 488
» Comonadic Notions of Computation
Sort
View
AIL
2000
78views more  AIL 2000»
15 years 4 months ago
Representation of formal dispute with a standing order
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
Gerard Vreeswijk
114
Voted
CVIU
2000
91views more  CVIU 2000»
15 years 4 months ago
Attentional Scene Segmentation: Integrating Depth and Motion
We present an approach to attention in active computer vision. The notion of attention plays an important role in biological vision. In recent years, and especially with the emergi...
Atsuto Maki, Peter Nordlund, Jan-Olof Eklundh
JACM
2002
87views more  JACM 2002»
15 years 4 months ago
Bounded concurrent timestamp systems using vector clocks
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
Sibsankar Haldar, Paul M. B. Vitányi
JCB
2002
111views more  JCB 2002»
15 years 4 months ago
A General Edit Distance between RNA Structures
Arc-annotated sequences are useful in representing the structural information of RNA sequences. In general, RNA secondary and tertiary structures can be represented as a set of ne...
Tao Jiang, Guohui Lin, Bin Ma, Kaizhong Zhang
TCAD
1998
127views more  TCAD 1998»
15 years 4 months ago
Gate-level power estimation using tagged probabilistic simulation
In this paper, we present a probabilistic simulation technique to estimate the power consumption of a cmos circuit under a general delay model. This technique is based on the noti...
Chih-Shun Ding, Chi-Ying Tsui, Massoud Pedram