Sciweavers

5251 search results - page 285 / 1051
» A Framework for Ontology Integration
Sort
View
BIS
2007
144views Business» more  BIS 2007»
15 years 8 months ago
Automated Integration Tests for Mobile Applications in Java 2 Micro Edition
Applications written for mobile devices have become more and more complex, adjusting to the constantly improving computational power of hardware. With the growing application size ...
Dawid Weiss, Marcin Zduniak
172
Voted
APSEC
2005
IEEE
16 years 11 days ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...
ICLP
2010
Springer
15 years 5 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
ICDAR
2007
IEEE
16 years 1 months ago
iGesture: A General Gesture Recognition Framework
With the emergence of digital pen and paper interfaces, there is a need for gesture recognition tools for digital pen input. While there exists a variety of gesture recognition fr...
Beat Signer, U. Kurmann, Moira C. Norrie
IADIS
2004
15 years 8 months ago
A client-server framework for E-learning and examination
This paper describes a framework that aims to give a help both for people who organize examination and for students who want to self test their own knowledge level. The two aspect...
Marco Aguzzi, Maria Grazia Albanesi