Sciweavers

20197 search results - page 3959 / 4040
» Comparing Computational Power
Sort
View
SIGLEX
1991
14 years 15 days ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
CSFW
2010
IEEE
14 years 9 days ago
A Framework for the Sound Specification of Cryptographic Tasks
Nowadays it is widely accepted to formulate the security of a protocol carrying out a given task via the "trusted-party paradigm," where the protocol execution is compar...
Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou
APGV
2010
ACM
301views Visualization» more  APGV 2010»
14 years 4 days ago
Egocentric distance judgments in a large screen display immersive virtual environment
People underestimate egocentric distances in head-mounted display virtual environments, as compared to estimates done in the real world. Our work investigates whether distances ar...
Ivelina V. Alexandrova, Paolina T. Teneva, Stephan...
AIPS
2007
13 years 11 months ago
Context-Aware Logistic Routing and Scheduling
In context-aware route planning, agents have to plan their route on a common infrastructure in such a way that plans made by other agents are not invalidated, and no conflicts ar...
Adriaan ter Mors, Jonne Zutt, Cees Witteveen
FLAIRS
2007
13 years 11 months ago
Assessing Entailer with a Corpus of Natural Language from an Intelligent Tutoring System
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
Philip M. McCarthy, Vasile Rus, Scott A. Crossley,...
« Prev « First page 3959 / 4040 Last » Next »