4595 search results - page 547 / 919 » Reasoning about Plans |
230
click to vote
ICPR
2008
IEEE
16 years 2 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...
161
click to vote
INFOCOM
2008
IEEE
16 years 2 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...
196
click to vote
KBSE
2008
IEEE
16 years 2 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...
172
click to vote
LICS
2008
IEEE
16 years 2 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...
200
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...