Sciweavers

12333 search results - page 2108 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
GEOS
2009
Springer
15 years 11 months ago
A Functional Ontology of Observation and Measurement
An ontology of observation and measurement is proposed, which models the relevant information processes independently of sensor technology. It is kept at a sufficiently general lev...
Werner Kuhn
ICDAR
1999
IEEE
15 years 10 months ago
Document Image Layout Comparison and Classification
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
Jianying Hu, Ramanujan S. Kashi, Gordon T. Wilfong
WETICE
1997
IEEE
15 years 10 months ago
Communication Visibility in Shared Virtual Worlds
Though the service of shared virtual worlds is an active area of research, little effort has been made to optimize such systems for urban world spaces. Tracking the motion, action...
Michael V. Capps, Seth J. Teller
LFCS
1994
Springer
15 years 10 months ago
Strong Normalization in a Non-Deterministic Typed Lambda-Calculus
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
Philippe de Groote
150
Voted
AICT
2006
IEEE
15 years 10 months ago
Classification of service for entertainment applications in vehicles
Generally, the real-time applications exchange information on dedicated network and the other traffic is supported by another communication system. The differentiation of these tw...
Jean-Philippe Georges, Eric Rondeau, Thierry Divou...
« Prev « First page 2108 / 2467 Last » Next »