Sciweavers

2509 search results - page 299 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
FUIN
2010
97views more  FUIN 2010»
15 years 5 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
DAC
2004
ACM
16 years 7 months ago
Worst-case circuit delay taking into account power supply variations
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...
Dionysios Kouroussis, Rubil Ahmadi, Farid N. Najm
DIM
2007
ACM
15 years 10 months ago
Linkability estimation between subjects and message contents using formal concepts
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
Stefan Berthold, Sebastian Clauß
IJCNN
2008
IEEE
16 years 28 days ago
An EEG-based BCI system for 2D cursor control
Abstract— In this paper, an electroencephalogram (EEG)based brain computer interface (BCI) is proposed for two dimensional cursor control. The horizontal and vertical movements o...
Yuanqing Li, Chuanchu Wang, Haihong Zhang, Cuntai ...
IBPRIA
2007
Springer
16 years 20 days ago
Estimation of Multiple Objects at Unknown Locations with Active Contours
Abstract. This paper presents an algorithm for the estimation of multiple regions with unknown shapes and positions using multiple active contour models (ACM’s). The algorithm or...
Margarida Silveira, Jorge S. Marques