1341 search results - page 225 / 269 » Logic for Modeling Product Structure |
112
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
CRIWG
2004
15 years 1 months ago
2004
The design and deployment of collaboration technology has, until lately been more of an art than a science, but it has produced some solid successes. Commercial groupware products ...
ICSE
2011
IEEE-ACM
14 years 3 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
IJCAI
2003
15 years 1 months ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...