1076 search results - page 116 / 216 » Operations on proofs and labels |
101
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
97
Voted
ECML
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Active Learning methods rely on static strategies for sampling unlabeled point(s). These strategies range from uncertainty sampling and density estimation to multi-factor...
83
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
101
Voted
ICTAI
2006
IEEE
15 years 6 months ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
118
Voted
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...