549 search results - page 35 / 110 » formats 2010 |
97
Voted
ENTCS
2010
14 years 9 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
ITSE
2010
14 years 7 months ago
2010
Since its formation in 2007, Opencast has become a truly global community around academic video and its related areas. One of Opencast's major projects to emerge from the com...
119
click to vote
PVLDB
2010
14 years 11 months ago
2010
Database systems often use XML schema to describe the format of valid XML documents. Usually, this format is determined when the system is designed. Sometimes, in an already funct...
112
click to vote
TASLP
2010
14 years 7 months ago
2010
Indexing audio signals directly in the transform domain can potentially save a significant amount of computation when working on a large database of signals stored in a lossy compr...
LREC
2010
15 years 1 months ago
2010
We present a web service-based environment for the use of linguistic resources and tools to address issues of terminology and language varieties. We discuss the architecture, corp...