2632 search results - page 279 / 527 » Alternating Timed Automata |
108
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Most existing performance evaluation methods concentrate on defining separate metrics over a wide range of conditions and generating standard benchmarking video sequences for exam...
110
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
122
click to vote
NIPS
2007
15 years 5 months ago
2007
A novel approach to measure the interdependence of two time series is proposed, referred to as “stochastic event synchrony” (SES); it quantifies the alignment of two point pr...
138
click to vote
AIPS
2004
15 years 5 months ago
2004
In a market-based scheduling mechanism, the allocation of time-specific resources to tasks is governed by a competitive bidding process. Agents bidding for multiple, separately al...
139
click to vote
ECIS
2001
15 years 5 months ago
2001
The paper considers the conditions governing the diffusion and development of e-commerce. The analysis builds on earlier discussions of technological successions and explores a nu...