2632 search results - page 505 / 527 » Alternating Timed Automata |
100
click to vote
WCE
2007
14 years 10 months ago
2007
— This paper presents the initial results of a study aimed at improving the method by which the vibrations produced by transport vehicles are characterised and simulated. More sp...
70
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we study a maximum likelihood estimation (MLE) approach to preference aggregation and voting when the set of alternatives has a multi-issue structure, and the voter...
78
Voted
ESA
2010
Springer
14 years 10 months ago
2010
Springer
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...
DEBS
2008
ACM
14 years 10 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Sequence comparison is considered as a cornerstone application in bioinformatics, which forms the basis of many other applications. In particular, pairwise sequence alignment is a...