972 search results - page 122 / 195 » Intersection types and computational effects |
ISMIS
2009
Springer
14 years 3 months ago
2009
Springer
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
CVPR
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a novel and effective algorithm for rotation symmetry group detection from real-world images. We propose a frieze-expansion method that transforms rotation symmetry gro...
IMSCCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Ad hoc networks face the problem of improving networks’ capacity and scalability. The scalability problem can be properly solved through physical hierarchy networking. In this p...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, an almost peer-to-peer (AP2P) clock synchronization protocol is proposed. AP2P is almost peer-topeer in the sense that it provides the desirable features of a purel...
DBPL
2007
Springer
14 years 3 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...