10293 search results - page 1585 / 2059 » Describing Semistructured Data |
194
click to vote
MLMI
2007
Springer
16 years 1 months ago
2007
Springer
Automatic segmentation is an important technology for both automatic speech recognition and automatic speech understanding. In meetings, participants typically vocalize for only a ...
182
click to vote
PAM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
177
click to vote
POLICY
2007
Springer
16 years 1 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
197
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
175
click to vote
SAMT
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes our experience developing a semantically-rich exploratory interface that integrates a suite of Newsfilm media sources and associated information. Indeed, the a...