Sciweavers

7057 search results - page 1027 / 1412
» Tasks, domains, and languages
Sort
View
AIM
2006
15 years 7 months ago
Toward Virtual Humans
This paper describes the virtual humans developed as part of the Mission Rehearsal Exercise project, a virtual reality-based training system. This project is an ambitious exercise...
William R. Swartout, Jonathan Gratch, Randall W. H...
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
CN
2006
106views more  CN 2006»
15 years 6 months ago
Efficient large-scale BGP simulations
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
Xenofontas A. Dimitropoulos, George F. Riley
CSJM
2006
124views more  CSJM 2006»
15 years 6 months ago
Text Classification Using Word-Based PPM Models
Text classification is one of the most actual among the natural language processing problems. In this paper the application of word-based PPM (Prediction by Partial Matching) mode...
Victoria Bobicev
IJVR
2008
119views more  IJVR 2008»
15 years 6 months ago
Narrating Built Heritage by Its Own Storytelling
This paper intends to demonstrate the importance of a Linguistic approach for understanding the complexity implied in the simulations of the Built Environment. Indeed, it will be a...
Ruggero Lancia
« Prev « First page 1027 / 1412 Last » Next »