6040 search results - page 809 / 1208 » Generating Instance Models from Meta Models |
166
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
151
click to vote
AIPS
2003
15 years 8 months ago
2003
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
143
click to vote
NIPS
2004
15 years 8 months ago
2004
Bayesian Regularization and Nonnegative Deconvolution (BRAND) is proposed for estimating time delays of acoustic signals in reverberant environments. Sparsity of the nonnegative f...
148
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper is concerned with path planning for an autonomous flight vehicle operating in a steady, uniform flow-field. We model the vehicle as a particle that travels in the...
117
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
This paper describes a medium, called Interactive e-Hon, for helping children to understand contents from the Web. It works by transforming electronic contents into an easily unde...