Sciweavers

6155 search results - page 419 / 1231
» A language for multiple models of computation
Sort
View
ICTAC
2004
Springer
16 years 8 days ago
Verifying OWL and ORL Ontologies in PVS
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
APL
2000
ACM
15 years 11 months ago
High-level object oriented programming with array technology
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
Philippe Mougin
ICPR
2006
IEEE
16 years 8 months ago
Unifying Background Models over Complex Audio using Entropy
In this paper we extend an existing audio background modelling technique, leading to a more robust application to complex audio environments. The determination of background audio...
Geoff A. W. West, Simon Moncrieff, Svetha Venkates...
APNOMS
2006
Springer
15 years 10 months ago
An Admission Control and Traffic Engineering Model for Diffserv-MPLS Networks
Abstract. This paper presents a Bandwidth Broker (BB) based admission control and traffic engineering model for Diffserv supported MPLS networks. The proposed model uses a multi-pa...
Haci A. Mantar
COLING
2010
15 years 1 months ago
Word-based and Character-based Word Segmentation Models: Comparison and Combination
We present a theoretical and empirical comparative analysis of the two dominant categories of approaches in Chinese word segmentation: word-based models and character-based models...
Weiwei Sun