Sciweavers

2425 search results - page 255 / 485
» An abstraction of the Lidar measurements
Sort
View
MSCS
2006
54views more  MSCS 2006»
15 years 6 months ago
Quasi-metric spaces and point-free geometry
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
Anna Di Concilio, Giangiacomo Gerla
NGC
2006
Springer
102views Communications» more  NGC 2006»
15 years 6 months ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás
STTT
2008
117views more  STTT 2008»
15 years 6 months ago
An approach to quality engineering of TTCN-3 test specifications
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski
TAP
2008
Springer
101views Hardware» more  TAP 2008»
15 years 6 months ago
A gaze-based study for investigating the perception of visual realism in simulated scenes
on the perception of visual realism. This study suggests that post-recall or simple abstraction of visual experience is not accurate and the use of eye tracking provides an effecti...
Mohamed A. ElHelw, Marios Nicolaou, Adrian James C...
TCAD
2008
103views more  TCAD 2008»
15 years 6 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim