382 search results - page 55 / 77 » Reasoning about the Elementary Functions of Complex Analysis |
128
Voted
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
209
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
SIGSOFT
2004
ACM
16 years 15 days ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
DOCENG
2004
ACM
15 years 5 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
106
click to vote
IWPC
2002
IEEE
15 years 4 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...