Sciweavers

3238 search results - page 31 / 648
» Not Enough Points Is Enough
Sort
View
MICCAI
2001
Springer
14 years 3 days ago
Repeatability and Accuracy of Ankle Centre Location Estimates Using a Biaxial Joint Model
In conventional total knee replacement (TKR) surgery, a significant fraction of implants have varus/valgus alignment errors large enough to reduce the lifespan of the implant, so w...
Cameron A. Shute, Antony J. Hodgson
RE
2001
Springer
14 years 3 days ago
XML-Based Method and Tool for Handling Variant Requirements in Domain Models
A domain model describes common and variant requirements for a system family. UML notations used in requirements analysis and software modeling can be extended with “variation p...
Stan Jarzabek, Hongyu Zhang
USITS
2003
13 years 9 months ago
Scriptroute: A Public Internet Measurement Facility
We present Scriptroute, a system that allows ordinary Internet users to conduct network measurements from remote vantage points. We seek to combine the flexibility found in dedic...
Neil T. Spring, David Wetherall, Thomas E. Anderso...
ICALP
2004
Springer
14 years 1 months ago
Easily Refutable Subformulas of Large Random 3CNF Formulas
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
Uriel Feige, Eran Ofek
INEX
2004
Springer
14 years 1 months ago
NEXI, Now and Next
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
Andrew Trotman, Börkur Sigurbjörnsson