Sciweavers

14782 search results - page 2705 / 2957
» Activities in Object Bases
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
GG
2010
Springer
15 years 4 months ago
Declarative Mesh Subdivision Using Topological Rewriting in MGS
Mesh subdivision algorithms are usually specified informally using graphical schemes defining local mesh refinements. These algorithms are then implemented efficiently in an impera...
Antoine Spicher, Olivier Michel, Jean-Louis Giavit...
IAT
2010
IEEE
15 years 4 months ago
Learning Personal Agents with Adaptive Player Modeling in Virtual Worlds
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...
Yilin Kang, Ah-Hwee Tan
ICDM
2010
IEEE
122views Data Mining» more  ICDM 2010»
15 years 4 months ago
Learning Preferences with Millions of Parameters by Enforcing Sparsity
We study the retrieval task that ranks a set of objects for a given query in the pairwise preference learning framework. Recently researchers found out that raw features (e.g. word...
Xi Chen, Bing Bai, Yanjun Qi, Qihang Lin, Jaime G....
ICDM
2010
IEEE
101views Data Mining» more  ICDM 2010»
15 years 4 months ago
Tru-Alarm: Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems
A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system that re...
Lu An Tang, Xiao Yu, Sangkyum Kim, Jiawei Han, Chi...
« Prev « First page 2705 / 2957 Last » Next »