8838 search results - page 215 / 1768 » Generalizing Domain Theory |
150
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
147
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
132
Voted
MEDINFO
2007
15 years 6 months ago
2007
In this paper we present the ongoing development and extension work on BioTop – a top-domain ontology for linking biomedical domain ontologies. We start by making the case for t...
147
click to vote
AIPS
2003
15 years 6 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
141
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This work investigates new kinematic features of parallel manipulators. It is well known that parallel manipulators admit generally several direct kinematic solutions for a given ...