Sciweavers

391 search results - page 24 / 79
» als 2003
Sort
View
PLANX
2008
13 years 10 months ago
Linear Time Membership for a Class of XML Types with Interleaving and Counting
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
JGTOOLS
2006
125views more  JGTOOLS 2006»
13 years 8 months ago
GPU-Based Tiled Ray Casting Using Depth Peeling
We propose a new hardware ray casting algorithm for unstructured meshes composed of tetrahedral cells. Our work builds on the technique published at IEEE Visualization 2003 by Wei...
Fábio F. Bernardon, Christian Azambuja Pago...
CICLING
2003
Springer
14 years 2 months ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
IJCAI
2003
13 years 10 months ago
On a generalization of triangulated graphs for domains decomposition of CSPs
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...
Assef Chmeiss, Philippe Jégou, Lamia Keddar
INSK
2011
60views more  INSK 2011»
13 years 3 months ago
Sozio-Informatik
: Im vorliegenden Beitrag werden die Erfahrungen mit einer praxisorientierten Lehrveranstaltung im Informatikstudium an der RWTH Aachen vorgestellt. Im Rahmen der kombinierten Vera...
Markus Rohde, Volker Wulf