Sciweavers

8201 search results - page 317 / 1641
» Approaching Manual Intelligence
Sort
View
QSIC
2005
IEEE
16 years 1 months ago
Systematic Incremental Development of Agent Systems, using Prometheus
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...
Mikhail Perepletchikov, Lin Padgham
177
Voted
ACISP
2003
Springer
16 years 22 days ago
A Taxonomy of Single Sign-On Systems
Abstract. At present, network users have to manage one set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single...
Andreas Pashalidis, Chris J. Mitchell
186
Voted
CAV
2009
Springer
165views Hardware» more  CAV 2009»
15 years 11 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
190
Voted
DAGM
2007
Springer
15 years 11 months ago
Image-Matching for Revision Detection in Printed Historical Documents
Abstract. In the research area of historical documents it is of high interest to reconstruct the process of the emergence of a historical typesetted document. Therefore, the chrono...
Joost van Beusekom, Faisal Shafait, Thomas M. Breu...
181
Voted
ICDAR
1995
IEEE
15 years 11 months ago
Tools for interactive map conversion and vectorization
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
Line Eikvil, Kjersti Aas, Hans Koren