3443 search results - page 133 / 689 » More Algebras for Determiners |
SG
2010
Springer
14 years 3 months ago
2010
Springer
In this paper we present a method for detecting rounds and fillets in engineering sketches and drawings, and automatically generating a 3D model of the corresponding object, with r...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
ICWN
2004
13 years 11 months ago
2004
We present an effective way to improve the quality of unicast routes determined by the LAR Box method. Our method uses the location information acquired by LAR itself to determine ...
DMSN
2009
ACM
14 years 4 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
DAS
2008
Springer
14 years 5 days ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...