427 search results - page 78 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
119
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
155
click to vote
WINE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The standard business model in the sponsored search marketplace is to sell click-throughs to the advertisers. This involves running an auction that allocates advertisemen...
110
click to vote
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
119
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
135
click to vote
GRID
2007
Springer
15 years 1 months ago
2007
Springer
The GEMSS project has developed a service-oriented Grid that supports the provision of medical simulation services by service providers to clients such as hospitals. We outline the...