8582 search results - page 319 / 1717 » Here or There |
166
click to vote
LOCA
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. High-level and longer-term activity recognition has great potentials in areas such as medical diagnosis and human behavior modeling. So far however, activity recognition ...
180
click to vote
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
165
click to vote
MFCS
2007
Springer
16 years 28 days ago
2007
Springer
A private information retrieval scheme is a protocol whereby a client obtains a record from a database without the database operators learning anything about which record the clien...
170
click to vote
MFCS
2007
Springer
16 years 28 days ago
2007
Springer
The notion of distance constrained graph labelings, motivated by the Frequency Assignment Problem, reads as follows: A mapping from the vertex set of a graph G = (V, E) into an in...
146
click to vote
MFCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...