9284 search results - page 1465 / 1857 » Knowledge State Algorithms |
180
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
168
click to vote
IWCMC
2010
ACM
15 years 11 months ago
2010
ACM
We consider the application of a channel state information (CSI) based multi-user (MU) multiple input multiple output (MIMO) scheme to the downlink of 3GPP Long Term Evolution (LT...
190
click to vote
SIGECOM
1999
ACM
15 years 11 months ago
1999
ACM
Performance analysis and capacity planning for e-commerce sites poses an interesting problem: how to best characterize the workload of these sites. Tradition al workload character...
173
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Three fundamental problems in the study of grasping and dextrous manipulation with multifingered robotic hands are as follows. a) Given a robotic hand and a grasp characterized by ...
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...