10293 search results - page 506 / 2059 » Describing Semistructured Data |
254
click to vote
DEBU
2010
15 years 7 months ago
2010
In this paper we describe applications, research issues, and approaches related to Intelligent Transportation Systems (ITS). More specifically, we focus on spatio-temporal databas...
194
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
194
click to vote
IJFCS
2006
15 years 6 months ago
2006
Abstract. For certain problems (for example, computing repetitions and repeats, data compression applications) it is not necessary that the suffixes of a string represented in a su...
205
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes an innovative sensor system which can detect and track people in a room by means of an array of capacitive sensors beneath the floor covering. By combining cut...
194
click to vote
CACM
2000
15 years 6 months ago
2000
A long-standing goal of the programming by demonstration research community is to enable people to construct programs by showing how the desired programs should work on sample inp...