Sciweavers

258 search results - page 32 / 52
» Relational Correspondences for Lattices with Operators
Sort
View
ICCV
2007
IEEE
14 years 1 months ago
Curvature Estimation for Enhancement of Crossing Curves
In this paper we describe a method for estimating curvature of elongated structures in images. The curvature estimation is performed on an invertible orientation score, which is a...
Erik Franken, Remco Duits, Bart M. ter Haar Romeny
COOPIS
2002
IEEE
14 years 15 days ago
Modeling Coordination and Control in Cross-Organizational Workflows
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
Enzo Colombo, Chiara Francalanci, Barbara Pernici
ICALP
2010
Springer
14 years 10 days ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
ICWS
2007
IEEE
13 years 9 months ago
A Query-based System for Automatic Invocation of Web Services
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...
Chaitali Gupta, Rajdeep Bhowmik, Michael R. Head, ...
USS
2004
13 years 9 months ago
Graphical Dictionaries and the Memorable Space of Graphical Passwords
In commonplace textual password schemes, users choose passwords that are easy to recall. Since memorable passwords typically exhibit patterns, they are exploitable by brute-force ...
Julie Thorpe, Paul C. van Oorschot