2024 search results - page 89 / 405 » A Formal Model of Multi-agent Computations |
140
Voted
TCS
2011
14 years 10 months ago
2011
We propose a formal definition of Wolfram’s notion of computational process based on iterated transducers together with a weak observer, a model of computation that captures so...
114
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
We study recent developments in quantum computing (QC) testing and fault tolerance (FT) techniques and discuss several attempts to formalize quantum logic fault models. We illustr...
111
Voted
IUI
2004
ACM
15 years 9 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
155
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
117
Voted
RECOMB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...