3573 search results - page 326 / 715 » Reasoning about Codata |
119
click to vote
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
Peer-to-Peer systems have become a substantial element in computer networking. Distributing the load and splitting complex tasks are only some reasons why many developers have com...
176
Voted
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...
113
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— We develop an economic model for networks offering tiered services and we formulate the problem of selecting the service tiers from three perspectives: one that conside...
136
Voted
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
117
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...