6306 search results - page 301 / 1262 » Space, Time, and the Use of Language |
236
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
214
click to vote
PLPV
2009
ACM
16 years 4 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
212
click to vote
ICIAP
2005
ACM
16 years 28 days ago
2005
ACM
We are researching for real-time hand shape estimation, which we are going to apply to user interface and interactive applications. We have employed a computer vision approach, sin...
207
click to vote
ISMIR
2005
Springer
16 years 28 days ago
2005
Springer
We describe a recursive algorithm to quickly compute the N nearest neighbors according to a similarity measure in a metric space. The algorithm exploits an intrinsic property of a...
194
click to vote
VLDB
2004
ACM
16 years 23 days ago
2004
ACM
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...