Sciweavers

1676 search results - page 279 / 336
» Formal Development of Self-organising Systems
Sort
View
AI
2000
Springer
15 years 2 months ago
Using Object Influence Areas to Quantitatively Deal with Neighborhood and Perception in Route Descriptions
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
Bernard Moulin, Driss Kettani, Benjamin Gauthier, ...
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
15 years 2 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...
CONCUR
1992
Springer
15 years 1 months ago
The Duality of TIme and Information
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
Vaughan R. Pratt
ECWEB
2007
Springer
155views ECommerce» more  ECWEB 2007»
15 years 1 months ago
A Secure Payment Protocol for Restricted Connectivity Scenarios in M-Commerce
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
Jesús Téllez Isaac, José Sier...
AIIA
1995
Springer
15 years 1 months ago
Learning Programs in Different Paradigms using Genetic Programming
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...
Man Leung Wong, Kwong-Sak Leung