3729 search results - page 355 / 746 » On Formal Modeling of Agent Computations |
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
206
click to vote
IJSE
2010
15 years 4 months ago
2010
Affective computing has proven to be a viable field of research comprised of a large number of multidisciplinary researchers resulting in work that is widely published. The majori...
178
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
151
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
175
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...