2308 search results - page 98 / 462 » Categorial Semantics For LFG |
184
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are difļ...
166
click to vote
AOSD
2012
ACM
14 years 1 months ago
2012
ACM
In this work we consider speciļ¬cation and compositional veriļ¬cation for interference detection when several aspects are woven together under joint-weaving semantics without re...
227
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test speciļ¬cations that descri...
172
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
A successful representation of objects in the literature is as a collection of patches, or parts, with a certain appearance and position. The relative locations of the different p...
136
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
The abundant knowledge in web communities has motivated the research interests in discussion threads. The dynamic nature of discussion threads poses interesting and challenging pr...