Sciweavers

1750 search results - page 75 / 350
» E-Commerce Development Procedure
Sort
View
140
Voted
HF
2007
131views more  HF 2007»
15 years 3 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani
114
Voted
JMIV
2010
91views more  JMIV 2010»
15 years 1 months ago
Topological Properties of Thinning in 2-D Pseudomanifolds
Preserving topological properties of objects during thinning procedures is an important issue in the field of image analysis. In the case of 2-D digital images (i.e. images defi...
Nicolas Passat, Michel Couprie, Loïc Mazo, Gi...
127
Voted
MP
2010
145views more  MP 2010»
15 years 1 months ago
The traveling salesman problem with pickup and delivery: polyhedral results and a branch-and-cut algorithm
The Traveling Salesman Problem with Pickup and Delivery (TSPPD) is defined on a graph containing pickup and delivery vertices between which there exists a one-toone relationship. ...
Irina Dumitrescu, Stefan Ropke, Jean-Franço...
112
Voted
ECIS
2004
15 years 4 months ago
Information system and information infrastructure deployment: the challenge of the Italian e-justice approach
Information systems development methodologies are still mainly concerned with the research of better ways to provide technical solutions for given organizational problems. The pap...
Francesco Contini, Antonio Cordella
NMR
2004
Springer
15 years 9 months ago
Preferential defeasibility: utility in defeasible logic programming
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...
Fernando A. Tohmé, Guillermo Ricardo Simari