6306 search results - page 296 / 1262 » Space, Time, and the Use of Language |
201
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
188
click to vote
GBRPR
2009
Springer
16 years 1 days ago
2009
Springer
This paper proposes to transform data scanned randomly in a well-defined space (e.g, Euclidean) along a hierarchical irregular pyramidal structure in an attempt reduce search time...
343
click to vote
ICDE
2009
IEEE
16 years 9 months ago
2009
IEEE
In many applications, we need to analyze a large number of time series. Segments of time series demonstrating dominating advantages over others are often of particular interest. In...
210
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper studies the input design problem for system identification where time domain constraints have to be considered. A finite Markov chain is used to model the input of the s...
186
click to vote
WEBNET
2001
15 years 8 months ago
2001
: As more information is made available online, users collect information in personal information spaces like bookmarks and emails. While most users feel that organizing these coll...