Sciweavers

1631 search results - page 230 / 327
» Extreme Programming - Back to Basics
Sort
View
FUIN
2010
106views more  FUIN 2010»
13 years 7 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
ICIDS
2010
Springer
13 years 7 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»
13 years 4 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
ICDE
2012
IEEE
273views Database» more  ICDE 2012»
12 years 15 days 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
12 years 14 days 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