5863 search results - page 1117 / 1173 » On Model-Checking of P Systems |
172
Voted
INFOCOM
1991
IEEE
15 years 7 months ago
1991
IEEE
customer which exceeds its deadline will either leave the queue without service or stay in the queue to get unsucWe consider the problem of scheduling impatient CUS- cessful servic...
142
Voted
APGV
2008
ACM
15 years 5 months ago
2008
ACM
Recovering 3D shape from shading is an ill-posed problem that the visual system can solve only by making use of additional information such as the position of the light source. Pr...
130
Voted
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
Proper use of headings in web pages can make navigation more efficient for blind web users by indicating semantic di visions in the page. Unfortunately, many web pages do not use ...
136
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
169
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adv...