Sciweavers

12981 search results - page 2108 / 2597
» Model Checking (Abstract)
Sort
View
TDP
2010
124views more  TDP 2010»
15 years 5 months ago
Random Forests for Generating Partially Synthetic, Categorical Data
Abstract. Several national statistical agencies are now releasing partially synthetic, public use microdata. These comprise the units in the original database with sensitive or ide...
Gregory Caiola, Jerome P. Reiter
TKDE
2010
164views more  TKDE 2010»
15 years 5 months ago
Defeasible Contextual Reasoning with Arguments in Ambient Intelligence
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
Antonis Bikakis, Grigoris Antoniou
TROB
2010
93views more  TROB 2010»
15 years 5 months ago
Compliant Control of Multicontact and Center-of-Mass Behaviors in Humanoid Robots
Abstract—This paper presents a new methodology for the analysis and control of internal forces and center-of-mass (CoM) behavior, which are produced during multicontact interacti...
Luis Sentis, Jaeheung Park, Oussama Khatib
UIC
2010
Springer
15 years 5 months ago
A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context
Abstract. Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that cont...
Tingting Hua, Yu Huang 0002, Jiannong Cao, XianPin...
VC
2010
160views more  VC 2010»
15 years 5 months ago
A lightweight approach to repairing digitized polygon meshes
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
Marco Attene
« Prev « First page 2108 / 2597 Last » Next »