1032 search results - page 138 / 207 » Extended Computation Tree Logic |
107
click to vote
EWSN
2006
Springer
15 years 9 months ago
2006
Springer
Energy-aware algorithms have proven to be a crucial part of sensor network applications, especially if they are required to operate for extended periods of time. Among these, effic...
CVPR
2000
IEEE
15 years 2 months ago
2000
IEEE
Many boundaries between objects in the world project onto curves in an image. However, boundaries involving natural objects (e.g., trees, hair, water, smoke) are often unworkable ...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
In this paper we extend the maximum spanning tree (MST) dependency parsing framework of McDonald et al. (2005c) to incorporate higher-order feature representations and allow depen...
WSC
2004
14 years 11 months ago
2004
This paper discusses an extended adaptive supply network simulation model that explicitly captures growth (in terms of change in size over time, and birth and death) based on Utte...
102
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...