3007 search results - page 311 / 602 » Designed -in-diagnostics: A new optical method |
167
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Abadi-Leino Logic is a Hoare-calculus style logic for a simple imperative and object-based language where every object comes with its own method suite. Consequently, methods need t...
186
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
While introducing the HTML standard to present information on the World Wide Web, the importance of being able to express the deep structure and meaning of the information was negl...
195
click to vote
ISNN
2004
Springer
16 years 4 days ago
2004
Springer
A flexible neural network (FNN) is a multilayer feedforward neural network with the characteristics of: (1) overlayer connections; (2) variable activation functions for different...
163
click to vote
SG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper introduces a new method to determine appealing placements of textual annotations for complex-shaped geometric models. It employs dynamic potential fields, whi...
188
click to vote
DAC
2003
ACM
16 years 1 days ago
2003
ACM
A new methodology is presented to solve a strongly nonlinear circuit, characterized by Piece-Wise Linear (PWL) functions, symbolically and explicitly in terms of its circuit param...