1216 search results - page 131 / 244 » Hybrid type checking |
126
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
131
click to vote
DRM
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
81
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
We present in this work a wide spectrum of results on analyzing the behavior of parallel heuristics for solving optimization problems. We focus on evolutionary algorithms as well ...
148
Voted
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
133
click to vote
ACL
2003
15 years 5 months ago
2003
This paper proposes a hybrid of handcrafted rules and a machine learning method for chunking Korean. In the partially free word-order languages such as Korean and Japanese, a smal...