866 search results - page 91 / 174 » A compositional semantics for CHR |
165
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
144
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
We here explore a "fully" lexicalized Tree-Adjoining Grammar for discourse that takes the basic elements of a (monologic) discourse to be not simply clauses, but larger ...
169
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
SPARQL query composition is difficult for the lay-person or even the experienced bioinformatician in cases where the data model is unfamiliar. Established best-practices and intern...
190
click to vote
OTM
2007
Springer
16 years 6 days ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
201
click to vote
LANMR
2004
15 years 7 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...