Sciweavers

3547 search results - page 207 / 710
» Computers Seeing People
Sort
View
BIRTHDAY
2006
Springer
15 years 8 months ago
Uniform Functors on Sets
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
Lawrence S. Moss
EDOC
2004
IEEE
15 years 8 months ago
Web Service Composition in UML
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
David Skogan, Roy Grønmo, Ida Solheim
FOSSACS
2006
Springer
15 years 8 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
ICNP
1998
IEEE
15 years 8 months ago
Flow Theory: An Enhancement
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...
Alfio Lombardo, Giacomo Morabito, Sergio Palazzo, ...
CHI
1995
ACM
15 years 8 months ago
Implicit Structures for Pen-Based Systems within a Freeform Interaction Paradigm
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
Thomas P. Moran, Patrick Chiu, William van Melle, ...