Sciweavers

10412 search results - page 1845 / 2083
» The efficiency of algorithms - misconceptions
Sort
View
SAC
2006
ACM
15 years 4 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
SAC
2006
ACM
15 years 4 months ago
Challenges in the compilation of a domain specific language for dynamic programming
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
Robert Giegerich, Peter Steffen
SIGMOD
2008
ACM
100views Database» more  SIGMOD 2008»
15 years 4 months ago
Incorporating string transformations in record matching
Today's record matching infrastructure does not allow a flexible way to account for synonyms such as "Robert" and "Bob" which refer to the same name, and ...
Arvind Arasu, Surajit Chaudhuri, Kris Ganjam, Ragh...
AMAI
2005
Springer
15 years 4 months ago
Generalizations of matched CNF formulas
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
Stefan Szeider
TC
2008
15 years 4 months ago
A Novel Distributed Sensor Positioning System Using the Dual of Target Tracking
As one of the fundamental issues in wireless sensor networks (WSNs), the sensor localization problem has recently received extensive attention. In this work, we investigate this pr...
Liqiang Zhang, Qiang Cheng, Yingge Wang, Sherali Z...
« Prev « First page 1845 / 2083 Last » Next »