1177 search results - page 184 / 236 » A review of function modeling: Approaches and applications |
169
click to vote
EJC
2008
15 years 7 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
191
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
188
click to vote
IROS
2008
IEEE
16 years 17 days ago
2008
IEEE
— In this paper, scalable collaborative human-robot systems for information gathering applications are approached as a decentralized Bayesian sensor network problem. Humancompute...
162
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— This paper describes an investigation into the adaptive control of autonomous mobile sensor platforms for providing oceanographic sampling. Mobile sensor platforms prov...
193
click to vote
ISCI
2008
15 years 6 months ago
2008
This paper considers nonlinear modeling based on a limited amount of experimental data and a simulator built from prior knowledge. The problem of how to best incorporate the data ...