300 search results - page 57 / 60 » An extension of the Cayley-Sylvester formula |
JUCS
2008
13 years 7 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
MANSCI
2008
13 years 7 months ago
2008
We consider the problem of minimizing staffing costs in an inbound call center, while maintaining an acceptable level of service in multiple time periods. The problem is complicat...
ENGL
2007
13 years 7 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
JUCS
2006
13 years 7 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
ESWA
2007
13 years 7 months ago
2007
This paper proposes and explains a data treatment technique to improve the accuracy of a neural network estimator in regression problems, where multi-dimensional input data set is...