Sciweavers

265 search results - page 8 / 53
» Perceptual Reasoning: A New Computing with Words Engine
Sort
View
FOSSACS
2004
Springer
14 years 25 days ago
Reasoning about Dynamic Policies
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
Riccardo Pucella, Vicky Weissman
LICS
2007
IEEE
14 years 1 months ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
ISTA
2007
13 years 9 months ago
Intelligent System for Computer-assisted Clinical Cancer Image Analysis
: We present CaDiS - a new multimedia medical workstation, which helps early and precise diagnosis and treatment of cervical cancer. The workstation is developed with the close par...
Anatoly N. Bondarenko, Andrei V. Katsuk
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
14 years 1 months ago
Eye-tracking evolutionary algorithm to minimize user fatigue in IEC applied to interactive one-max problem
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
Denis Pallez, Philippe Collard, Thierry Baccino, L...
BIRTHDAY
2005
Springer
13 years 9 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè