Sciweavers

1121 search results - page 56 / 225
» Logics of Complementarity in Information Systems
Sort
View
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 9 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
CCIA
2008
Springer
13 years 11 months ago
Probabilistic Dynamic Belief Logic for Image and Reputation
Since electronic and open environments became a reality, computational trust and reputation models have attracted increasing interest in the field of multiagent systems (MAS). Some...
Isaac Pinyol, Jordi Sabater-Mir, Pilar Dellunde
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
14 years 3 months ago
Application of Logic and Decision Models in Sustainable Ecosystem Management
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...
Mark Jensen, Keith Reynolds, Ute Langner, Melissa ...
RSCTC
2000
Springer
121views Fuzzy Logic» more  RSCTC 2000»
14 years 13 days ago
Situation Identification by Unmanned Aerial Vehicle
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
Hung Son Nguyen, Andrzej Skowron, Marcin S. Szczuk...
EUSFLAT
2007
183views Fuzzy Logic» more  EUSFLAT 2007»
13 years 10 months ago
Soft Computing in Wireless Sensors Networks
The embedded soft computing approach in wireless sensor networks is suggested. This approach means a combination of embedded fuzzy logic and neural networks models for information...
Alexey N. Averkin, A. G. Belenki