Sciweavers

3428 search results - page 275 / 686
» Making the Case
Sort
View
CSCW
2002
ACM
15 years 6 months ago
Collaboration as an Activity Coordinating with Pseudo-Collective Objects
A coalition is a collaborative pattern in which people must work together to accomplish a task, but where organizational constraints stand in the way of their making use of the co...
David Zager
APAL
1999
97views more  APAL 1999»
15 years 6 months ago
Coalgebraic Logic
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
Lawrence S. Moss
IJSEKE
2002
84views more  IJSEKE 2002»
15 years 6 months ago
HEAT: Hierarchical Entropy Approach for Texture Indexing in Image Databases
This paper illustrates a method, called heat, for image indexing based on texture information. The texture's partitioning element is first put into 1-D form and then its Hier...
Riccardo Distasi, Michele Nappi, Sergio Vitulano
APIN
1999
110views more  APIN 1999»
15 years 6 months ago
The Connectionist Inductive Learning and Logic Programming System
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
Artur S. d'Avila Garcez, Gerson Zaverucha
FMSD
1998
60views more  FMSD 1998»
15 years 6 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...