365 search results - page 36 / 73 » First-order logical filtering |
AIPS
2006
13 years 9 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
SBCCI
2005
ACM
14 years 1 months ago
2005
ACM
A new low-voltage electrically tunable transconductor is presented. Its transconductance can be settled by means of a ratio between a reference current and a reference voltage ren...
COLING
1990
13 years 9 months ago
1990
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Vessel enhancement in volumetric data is a necessary prerequisite in various medical imaging applications with particular importance for automated nodule detection. Ideally, vesse...
ICTL
1994
13 years 12 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...