Sciweavers

1785 search results - page 59 / 357
» Framework of Agile Patterns
Sort
View
CONCUR
2003
Springer
15 years 9 months ago
Abstract Patterns of Compositional Reasoning
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Ri...
ASM
2008
ASM
15 years 6 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
EMNLP
2009
15 years 1 months ago
Geo-mining: Discovery of Road and Transport Networks Using Directional Patterns
One of the most desired information types when planning a trip to some place is the knowledge of transport, roads and geographical connectedness of prominent sites in this place. ...
Dmitry Davidov, Ari Rappoport
CIARP
2009
Springer
15 years 10 months ago
Image Characterization from Statistical Reduction of Local Patterns
This paper tackles the image characterization problem from a statistical analysis of local patterns in one or several images. The induced image characteristics are not defined a p...
Philippe Guermeur, Antoine Manzanera
ICPR
2008
IEEE
15 years 10 months ago
Unsupervised clustering using hyperclique pattern constraints
A novel unsupervised clustering algorithm called Hyperclique Pattern-KMEANS (HP-KMEANS) is presented. Considering recent success in semisupervised clustering using pair-wise const...
Yuchou Chang, Dah-Jye Lee, James K. Archibald, Yi ...