Sciweavers

2438 search results - page 170 / 488
» Consistent Gradient Operators
Sort
View
153
Voted
AMAST
2004
Springer
15 years 6 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
77
Voted
CAISE
2006
Springer
15 years 6 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
99
Voted
GECCO
2006
Springer
168views Optimization» more  GECCO 2006»
15 years 6 months ago
Crossover gene selection by spatial location
Spatial based gene selection for division of chromosomes used by crossover operators is proposed for three-dimensional problems. This spatial selection is shown to preserve more g...
David M. Cherba, William F. Punch
EKAW
2000
Springer
15 years 5 months ago
Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases
Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design ...
Gilles Falquet, Claire-Lise Mottaz Jiang
ISER
2000
Springer
82views Robotics» more  ISER 2000»
15 years 5 months ago
Towards a Team of Robots with Repair Capabilities: A Visual Docking System
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
Curt A. Bererton, Pradeep K. Khosla