Sciweavers

583 search results - page 63 / 117
» Finding Answers to Complex Questions
Sort
View
118
Voted
FLOPS
2004
Springer
15 years 8 months ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
Rafael Caballero, Mario Rodríguez-Artalejo
103
Voted
IQ
2003
15 years 4 months ago
Process Knowledge and Data Quality Outcomes
What modes and domains of knowledge about data production processes are most critical for producing high-quality data? This study provides an answer to this question. Data are coll...
Yang W. Lee, Diane M. Strong
93
Voted
JSC
2006
64views more  JSC 2006»
15 years 2 months ago
Computing the support of local cohomology modules
For a polynomial ring R = k[x1, ..., xn], we present a method to compute the characteristic cycle of the localization Rf for any nonzero polynomial f R that avoids a direct comput...
Josep Àlvarez Montaner, Anton Leykin
122
Voted
EOR
2007
103views more  EOR 2007»
15 years 2 months ago
Bi-criteria scheduling problems: Number of tardy jobs and maximum weighted tardiness
Consider a single machine and a set of   jobs that are available for processing at time 0. Job ¡ has a processing time ¢¤£ , a due date ¥¦£ and a weight §¨£ . We consid...
Yumei Huo, Joseph Y.-T. Leung, Hairong Zhao
128
Voted
ENTCS
2002
103views more  ENTCS 2002»
15 years 2 months ago
Deciding low levels of tree-automata hierarchy
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
Igor Walukiewicz