Sciweavers

5064 search results - page 192 / 1013
» Recent Developments in Gridsolve
Sort
View
PPSWR
2004
Springer
15 years 11 months ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
PVM
2004
Springer
15 years 11 months ago
Numerical Simulations on PC Graphics Hardware
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
Jens Krüger, Thomas Schiwietz, Peter Kipfer, ...
QOFIS
2004
Springer
15 years 11 months ago
Evaluating the Utility of Media-Dependent FEC in VoIP Flows
In this paper, we present an analysis of the impact of using media–dependent Forward Error Correction (FEC) in VoIP flows over the Internet. This error correction mechanism cons...
Gerardo Rubino, Martín Varela
SAT
2004
Springer
89views Hardware» more  SAT 2004»
15 years 11 months ago
Using Rewarding Mechanisms for Improving Branching Heuristics
The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewa...
Elsa Carvalho, João P. Marques Silva
SEMWEB
2004
Springer
15 years 11 months ago
OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...
Thorsten Liebig, Olaf Noppens