4276 search results - page 224 / 856 » Techniques for Empirical Validation |
168
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
Large clusters of mutual dependence can cause problems for comprehension, testing and maintenance. This paper introduces the concept of coherent dependence clusters, techniques fo...
131
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
- We describe an integrated model of the hardware and the battery sub-systems in batterypowered VLSI systems. We demonstrate that, under this model and for a fixed operating voltag...
144
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes an efficient algorithm for computing the distance between non-convex objects. Objects are modeled as the union of a set of convex components. From this model ...
178
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce the first substantial approach to preprocessing in the context of answer set solving. The idea is to simplify a logic program while identifying equivalences ...
201
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...