867 search results - page 122 / 174 » On Two Forms of Structural Recursion |
101
click to vote
VL
1993
IEEE
15 years 4 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
125
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
118
Voted
TCS
2008
15 years 14 days ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
119
Voted
ER
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
170
click to vote
ISBI
2011
IEEE
14 years 4 months ago
2011
IEEE
Network structures formed by actin filaments are present in many kinds of fluorescence microscopy images. In order to quantify the conformations and dynamics of such actin fila...