614 search results - page 5 / 123 » DE in Slovenia: Where are We |
IANDC
2000
13 years 7 months ago
2000
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
CIDM
2009
IEEE
14 years 9 days ago
2009
IEEE
— This work presents a spatial distribution analysis of Brazilian Atlantic Forest Bromeliad species catalogued by the Rio de Janeiro Botanical Gardens Research Institute. Our ana...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
IPPS
2000
IEEE
13 years 11 months ago
2000
IEEE
We advocate an approach towards the characterisation of components where their qualifications are deduced systematically from a small set of elementary assumptions. Using the chara...
RTA
2000
Springer
13 years 11 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...