8766 search results - page 1265 / 1754 » Functional logic programming |
170
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
168
click to vote
WETICE
1997
IEEE
15 years 9 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
158
Voted
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...
191
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
157
Voted
JLP
2006
15 years 5 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...