1438 search results - page 55 / 288 » An Expressive Extension of TLC |
TLCA
2007
Springer
14 years 5 months ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
BMCBI
2010
13 years 11 months ago
2010
Background: In a time-course microarray experiment, the expression level for each gene is observed across a number of time-points in order to characterize the temporal trajectorie...
DAWAK
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In the last years, extending OLAP (On-Line Analytical Processing) systems with spatial and temporal features has attracted the attention of of the GIS (Geographic Informa...
UML
2000
Springer
14 years 2 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...