Sciweavers

527 search results - page 86 / 106
» Component mining: a process and its pattern language
Sort
View
CICLING
2006
Springer
13 years 11 months ago
Balancing Transactions in Practical Dialogues
In this paper a theory of dialogue acts analysis in problem-solving tasks-oriented conversations is presented. The theory postulates that in practical dialogues every transaction h...
Luis Cortés, Hayde Castellanos, Sergio Rafa...
MODELS
2010
Springer
13 years 6 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
IFIP
2004
Springer
14 years 27 days ago
Behavioural Equivalences for Dynamic Web Data
Peer-to-peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can contain b...
Sergio Maffeis, Philippa Gardner
ICALP
2001
Springer
14 years 17 hour ago
Approximating the Minimum Spanning Tree Weight in Sublinear Time
We present a probabilistic algorithm that, given a connected graph G (represented by adjacency lists) of average degree d, with edge weights in the set {1, . . . , w}, and given a ...
Bernard Chazelle, Ronitt Rubinfeld, Luca Trevisan
ICIP
2007
IEEE
14 years 1 months ago
Orthogonal Diagonal Projections for Gait Recognition
Gait has received much attention from researchers in the vision field due to its utility in walker identification. One of the key issues in gait recognition is how to extract di...
Daoliang Tan, Kaiqi Huang, Shiqi Yu, Tieniu Tan