5550 search results - page 590 / 1110 » Different Approaches to Proof Systems |
190
click to vote
BIRTHDAY
2003
Springer
16 years 15 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
266
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
184
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...
232
Voted
BPM
2007
Springer
15 years 11 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...
209
click to vote
CISS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper considers broadcast channels with L antennas at the base station and m single-antenna users, where each user has perfect channel knowledge and the base station obtains c...