2232 search results - page 364 / 447 » Formal Modeling and Analysis of Organizations |
251
click to vote
STOC
1993
ACM
15 years 10 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
186
click to vote
TCS
2002
15 years 5 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
194
click to vote
IDEAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Decision support systems are important in leveraging information present in data warehouses in businesses like banking, insurance, retail and health-care among many others. The mu...
153
click to vote
WSDM
2009
ACM
16 years 24 days ago
2009
ACM
This paper proposes a novel application of a statistical language model to opinionated document retrieval targeting weblogs (blogs). In particular, we explore the use of the trigg...
173
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: There is great interest in probing the temporal and spatial patterns of cytosine methylation states in genomes of a variety of organisms. It is hoped that this will sh...