Sciweavers

1631 search results - page 230 / 327
» Extreme Programming - Back to Basics
Sort
View
FUIN
2010
106views more  FUIN 2010»
14 years 11 months ago
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
Linh Anh Nguyen
136
Voted
ICIDS
2010
Springer
14 years 11 months ago
Emohawk: Learning Virtual Characters by Doing
Emohawk is a narrative-based serious game designed to be a supportive tool for teaching basics of virtual agents development at universities and high-schools. Emohawk is built util...
Michal Bída, Cyril Brom
IJIIDS
2010
136views more  IJIIDS 2010»
14 years 9 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
176
Voted
ICDE
2012
IEEE
273views Database» more  ICDE 2012»
13 years 4 months ago
Data3 - A Kinect Interface for OLAP Using Complex Event Processing
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
Steffen Hirte, Andreas Seifert, Stephan Baumann, D...
CONCUR
2012
Springer
13 years 4 months ago
MSO Decidability of Multi-Pushdown Systems via Split-Width
Abstract. Multi-threaded programs with recursion are naturally modeled as multi-pushdown systems. The behaviors are represented as multiply nested words (MNWs), which are words enr...
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar