1346 search results - page 119 / 270 » Alternating-time dynamic logic |
124
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
121
click to vote
ATS
2009
IEEE
15 years 10 months ago
2009
IEEE
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...
179
Voted
TELETRAFFIC
2007
Springer
15 years 9 months ago
2007
Springer
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...
122
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
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...
133
Voted
AOSE
2005
Springer
15 years 9 months ago
2005
Springer
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...