Sciweavers

1418 search results - page 132 / 284
» Schema polynomials and applications
Sort
View
TABLEAUX
2009
Springer
16 years 26 days ago
A Schemata Calculus for Propositional Logic
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
HICSS
2008
IEEE
152views Biometrics» more  HICSS 2008»
16 years 24 days ago
A Context-Aware Approach Enhancing XML Semantics Integration
XML is designed to facilitate data exchange between applications. However, XML and its schema languages do not express semantics but rather the document structure, such as the nes...
Dershing Luo, Ching-Cha Hsieh
MUE
2008
IEEE
129views Multimedia» more  MUE 2008»
16 years 22 days ago
G3M: A Generalized Multimedia Data Model Based on MPEG-7
In this paper, a generalized multimedia database data model based on MPEG-7 named G3M is proposed and formally defined. Different from those XML Database Management System (DBMS) ...
Qiong Zuo, Zhongsheng Cao
TMRA
2007
Springer
16 years 13 days ago
Topincs Wiki - A Topic Maps Powered Wiki
Abstract. Topincs provides a RESTful web service interface for retrieval and manipulation of topic maps. A Topincs Server implementing the interface can host many stores, which are...
Robert Cerny
ETFA
2006
IEEE
16 years 12 days ago
Cost-based Deployment Planning for Components in Smart Item Environments
Middleware for smart items can facilitate the coordinated execution of distributed components for early data processing. These components can be deployed to different nodes in the...
Jürgen Anke, Klaus Kabitzsch