3342 search results - page 55 / 669 » Symbolic Robustness Analysis |
158
click to vote
HICSS
2007
IEEE
16 years 2 days ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
159
click to vote
ASWEC
2006
IEEE
15 years 11 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
140
click to vote
NIPS
2000
15 years 7 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
144
Voted
AI
1999
Springer
15 years 5 months ago
1999
Springer
We present an algorithm for producing behavior descriptions of planar fixed axes mechanical motions from image sequences using a formal behavior language. The language, which cove...
223
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...