Sciweavers

1937 search results - page 280 / 388
» Starting B Specifications from Use Cases
Sort
View
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 6 months ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
CERA
2002
134views more  CERA 2002»
15 years 6 months ago
Graph Grammar Based Product Family Modeling
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
Xuehong Du, Jianxin Jiao, Mitchell M. Tseng
WWW
2011
ACM
15 years 1 months ago
Limiting the spread of misinformation in social networks
In this work, we study the notion of competing campaigns in a social network. By modeling the spread of influence in the presence of competing campaigns, we provide necessary too...
Ceren Budak, Divyakant Agrawal, Amr El Abbadi
KDD
2007
ACM
160views Data Mining» more  KDD 2007»
16 years 6 months ago
Show me the money!: deriving the pricing power of product features by mining consumer reviews
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...
Nikolay Archak, Anindya Ghose, Panagiotis G. Ipeir...
IPMI
1999
Springer
16 years 7 months ago
Binary Tomography for Triplane Cardiography
The problem of reconstructing a binary image (usually an image in the plane and not necessarily on a Cartesian grid) from a few projections translates into the problem of solving a...
Bruno M. Carvalho, Gabor T. Herman, Samuel Matej, ...