Sciweavers

9210 search results - page 1800 / 1842
» Analyzing Real-Time Systems
Sort
View
EJC
2008
13 years 10 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
GIL
2007
13 years 10 months ago
Use of vegetation indices to detect plant diseases
: Today’s agriculture is not only confronted with the production of food and animal food, but also with aspects of environmental protection. In today’s crop production, there i...
Kerstin Gröll, Simone Graeff, Wilhelm Claupei...
GRAPHICSINTERFACE
2007
13 years 10 months ago
Visualization and exploration of time-varying medical image data sets
In this work, we propose and compare several methods for the visualization and exploration of time-varying volumetric medical images based on the temporal characteristics of the d...
Zhe Fang, Torsten Möller, Ghassan Hamarneh, A...
SIMVIS
2007
13 years 10 months ago
Development of a Mixed Reality Device for Interactive On-Site Geo-visualization
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
Volker Paelke, Claus Brenner
WICON
2008
13 years 10 months ago
Optimal stochastic routing in low duty-cycled wireless sensor networks
We study a routing problem in wireless sensor networks where sensors are duty-cycled. When sensors alternate between on and off modes, delay encountered in packet delivery due to ...
Dongsook Kim, Mingyan Liu
« Prev « First page 1800 / 1842 Last » Next »