3001 search results - page 251 / 601 » Recursive type generativity |
170
click to vote
AMW
2010
15 years 8 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
162
click to vote
HCI
2001
15 years 8 months ago
2001
: For the past two years we have been addressing the challenges involved in managing the data generated within immersive environments. We together with many other researchers have ...
164
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
184
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...
257
click to vote
GW
2009
Springer
15 years 4 months ago
2009
Springer
Research on gesture generation for embodied conversational agents (ECA's) mostly focuses on gesture types such as pointing and iconic gestures, while ignoring another gesture ...