Sciweavers

3831 search results - page 44 / 767
» Dynamic Context Logic
Sort
View
102
Voted
ARC
2007
Springer
118views Hardware» more  ARC 2007»
15 years 4 months ago
Simulation of the Dynamic Behavior of One-Dimensional Cellular Automata Using Reconfigurable Computing
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
Wagner Rodrigo Weinert, César Manuel Vargas...
102
Voted
INFORMATICALT
2002
130views more  INFORMATICALT 2002»
15 years 5 days ago
Adaptive Fuzzy Control of Nonlinear Plant with Changing Dynamics
This paper analyses the control of nonlinear plant with the changing dynamics. Adaptive controllers, based on fuzzy logics, are synthesized for the control of air pressure and wate...
Vytautas Kaminskas, Raimundas Liutkevicius
82
Voted
AMI
2009
Springer
15 years 4 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
86
Voted
AAAI
1994
15 years 1 months ago
Representing Multiple Theories
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
P. Pandurang Nayak
87
Voted
AGP
2003
IEEE
15 years 4 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma