Sciweavers

3394 search results - page 46 / 679
» Regular Object Types
Sort
View
PLANX
2008
13 years 11 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
ICASSP
2008
IEEE
14 years 4 months ago
Hierarchical lane detection for different types of roads
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
Hsu-Yung Cheng, Chih-Chang Yu, Chien-Cheng Tseng, ...
CSL
2001
Springer
14 years 2 months ago
Life without the Terminal Type
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
Lutz Schröder
ADC
2008
Springer
146views Database» more  ADC 2008»
14 years 4 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
HICSS
1997
IEEE
75views Biometrics» more  HICSS 1997»
14 years 2 months ago
The Voting-Type Technique in the Refinement of Multiple Expert Knowledge
The goal of this paper is to develop methods to handle inconsistent knowledge elicited from multiple sources. Knowledge is represented using predicates that define relationships w...
Seppo Puuronen, Vagan Y. Terziyan