1557 search results - page 114 / 312 » On measuring areas of polygons |
139
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, int...
186
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
166
click to vote
COLT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We reduce ranking, as measured by the Area Under the Receiver Operating Characteristic Curve (AUC), to binary classification. The core theorem shows that a binary classif...
147
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a preliminary study of geographic query words, which users' tend to re-use. The categories of the words demonstrate that geographically related word...
134
click to vote
WSC
2008
15 years 8 months ago
2008
A qualification management software that proposes recipe qualifications on tools in toolsets for semiconductor manufacturing has been developed. The qualification proposals are ba...