15635 search results - page 2944 / 3127 » Modelling and Design of VAML |
156
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
170
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
As more and more cars are equipped with GPS and Wi-Fi transmitters, it becomes easier to design systems that will allow cars to interact autonomously with each other, e.g., regard...
172
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a joint face orientation estimation in smart camera networks without having to localize the cameras in advance. The system is composed of in-node coarse ...
252
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
176
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...