Sciweavers

4658 search results - page 653 / 932
» Swarms in Dynamic Environments
Sort
View
PPDP
1999
Springer
15 years 11 months ago
Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
Ulrich Neumerkel, Frédéric Mesnard
IPPS
1998
IEEE
15 years 11 months ago
Virtual FPGAs: Some Steps Behind the Physical Barriers
Recent advances in FPGA technologies allow to configure the RAM-based FPGA devices in a reduced time as an effective support for real-time applications. The physical dimensions of ...
William Fornaciari, Vincenzo Piuri
SPIRE
1999
Springer
15 years 11 months ago
Using AulaNet for Web-based Course Development
: A variety of technologies is being used to replace or supplement the face-to-face learning process, including the World Wide Web. In this paper we present AulaNet, an environment...
Ricardo Choren, Carlos Laufer, Marcelo Blois, Vivi...
ISWC
1998
IEEE
15 years 11 months ago
Augment-able Reality: Situated Communication through Physical and Digital Spaces
Most existing augmented reality systems only provide a method for browsing information that is situated in the real world context. This paper describes a system that allows users ...
Jun Rekimoto, Yuji Ayatsuka, Kazuteru Hayashi
VISUALIZATION
1998
IEEE
15 years 11 months ago
Interactive virtual angioscopy
Virtual angioscopy is a non invasive medical procedure for exploring parts of the human vascular system. We have developed an interactive tool that takes as input data acquired wi...
Enrico Gobbetti, Piero Pili, Antonio Zorcolo, Mass...