26071 search results - page 393 / 5215 » Making |
181
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present GRASPER, a graph constraint solver, based on set constraints. We specify GRASPER’s constraints and we make use of our framework to model a problem in the...
151
click to vote
ICES
2007
Springer
16 years 1 months ago
2007
Springer
The RISA Architecture is a novel reconfigurable hardware platform containing both hardware and software reconfigurable elements. This paper describes the architecture and the fea...
146
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
162
click to vote
IWINAC
2007
Springer
16 years 1 months ago
2007
Springer
A significant advance in inductive modelling are systems that retain learned knowledge and selectively transfer portions of that knowledge as a source of inductive bias. We defi...
142
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...