247 search results - page 25 / 50 » Development graphs - Proof management for structured specifi... |
116
Voted
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
123
Voted
EDOC
1997
IEEE
15 years 8 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
175
Voted
DAGSTUHL
2009
15 years 4 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
227
Voted
GIS
2003
ACM
16 years 4 months ago
2003
ACM
Advances in wireless communications, positioning technology, and other hardware technologies combine to enable a range of applications that use a mobile user's geo-spatial da...
138
Voted
TIT
2010
14 years 10 months ago
2010
Motivated by applications to sensor networks and privacy preserving databases, we consider the problem of functional compression. The objective is to separately compress possibly c...