7380 search results - page 279 / 1476 » time 2008 |
153
click to vote
TPDS
1998
15 years 6 months ago
1998
—Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are 3-complete and hence it may not be possible to desig...
154
click to vote
ACL
2008
15 years 8 months ago
2008
This paper studies the impact of written language variations and the way it affects the capitalization task over time. A discriminative approach, based on maximum entropy models, ...
152
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
166
click to vote
EOR
2008
15 years 6 months ago
2008
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...
182
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...