Sciweavers

1341 search results - page 125 / 269
» Dynamic Testimonial Logic
Sort
View
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
16 years 29 days ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...
TELETRAFFIC
2007
Springer
16 years 7 days ago
Adaptive Congestion Control Under Dynamic Weather Condition for Wireless and Satellite Networks
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
Hongqing Zeng, Anand Srinivasan, Brian Cheng, Chan...
153
Voted
IJCNN
2006
IEEE
16 years 5 days ago
Combining Multi-Frame Images for Enhancement Using Self-Delaying Dynamic Networks
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
Lewis Eric Hibell, Honghai Liu, David J. Brown
162
Voted
AOSE
2005
Springer
15 years 11 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
E4MAS
2004
Springer
15 years 11 months ago
Supporting Context-Aware Interaction in Dynamic Multi-agent Systems
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
Christine Julien, Gruia-Catalin Roman