1788 search results - page 266 / 358 » Model Theory for Process Algebra |
155
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
131
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
Video segmentation is among the most important challenges of video processing and compression (MPEG-4 and MPEG-7). A drawback of classical methods is the computational cost due to...
127
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
In the design of resource bounded agents, high-level cognitive activities, such as reasoning, raise important problems related both to the adaptive ability and to the computationa...
142
click to vote
ATAL
2009
Springer
15 years 1 months ago
2009
Springer
Today's society is largely connected and many real life applications lend themselves to be modeled as multi-agent systems. Although such systems as well as their models are d...
238
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...