7433 search results - page 1163 / 1487 » Management of Technology |
179
click to vote
LOCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Wireless signal strength fingerprinting has become an increasingly popular technique for realizing indoor localization systems using existing WiFi infrastructures. Howev...
165
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Returns caused by the delivery of incorrect items constitute a major problem for non-automated warehouses. Returns not only create extra costs, they also aggravate customers. Most...
186
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...
161
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
202
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...