5830 search results - page 977 / 1166 » Automatic link generation |
167
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
188
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...
155
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
We propose a novel technique for automatically generating the SCOP classification of a protein structure with high accuracy. High accuracy is achieved by combining the decisions o...
162
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Mobile devices provide a variety of ways to access information resources available on the Web and a high level of adaptability to different aspects (e.g., device capabili...
171
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...