Sciweavers

10910 search results - page 84 / 2182
» Input modeling using a computer algebra system
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
14 years 10 months ago
An Algebra for Directed Bigraphs
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
Davide Grohmann, Marino Miculan
CONCUR
2001
Springer
15 years 2 months ago
Probabilistic Information Flow in a Process Algebra
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
Alessandro Aldini
82
Voted
ICPP
2007
IEEE
15 years 4 months ago
RECN-IQ: A Cost-Effective Input-Queued Switch Architecture with Congestion Management
As the number of computing and storage nodes keeps increasing, the interconnection network is becoming a key element of many computing and communication systems, where the overall...
Gaspar Mora, Pedro Javier García, Jose Flic...
DAGSTUHL
2006
14 years 11 months ago
Cognitive Vision: Integrating Symbolic Qualitative Representations with Computer Vision
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...
Anthony G. Cohn, David C. Hogg, Brandon Bennett, V...
DCC
1995
IEEE
15 years 1 months ago
An Automatic System for Model-Based Coding of Faces
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...
Baback Moghaddam, Alex Pentland