Sciweavers

7465 search results - page 1391 / 1493
» Point-based Computer graphics
Sort
View
JCP
2006
100views more  JCP 2006»
14 years 10 months ago
A Local Enumeration Protocol in Spite of Corrupted Data
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...
Brahim Hamid, Mohamed Mosbah
JUCS
2008
134views more  JUCS 2008»
14 years 10 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
JIPS
2006
110views more  JIPS 2006»
14 years 10 months ago
Monitoring Systems for Embedded Equipment in Ubiquitous Environments
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
Ji-Hye Bae, Hee-Kuk Kang, Yoon-Young Park, Jung-Ho...
MAGS
2008
149views more  MAGS 2008»
14 years 10 months ago
Agent-Grid Integration Language
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
Clement Jonquet, Pascal Dugenie, Stefano A. Cerri
MAGS
2008
169views more  MAGS 2008»
14 years 10 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
« Prev « First page 1391 / 1493 Last » Next »