12774 search results - page 2230 / 2555 » A Framework for Proof Systems |
180
click to vote
ICB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Most of gait recognition algorithms involve walking cycle estimation to accomplish signature matching. However, we may be plagued by two cycle-related issues when develop...
161
click to vote
ICTCS
2007
Springer
16 years 1 months ago
2007
Springer
ing from Prioritized/Weighted Internal Immediate Actions Marco Bernardo and Alessandro Aldini Universit`a di Urbino “Carlo Bo” – Italy Markovian process calculi constitute a ...
191
click to vote
MATES
2007
Springer
16 years 29 days ago
2007
Springer
Developing agent applications is a complex and difficult task due to a variety of reasons. One key aspect making multi-agent systems more complicated than traditional applications ...
194
click to vote
MFCS
2007
Springer
16 years 29 days ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
217
click to vote
NBIS
2007
Springer
16 years 29 days ago
2007
Springer
IP over optical networks controlled by the GMPLS control plane have become the common infrastructure for a variety of services, such as triple play and grid applications. The traff...