6800 search results - page 552 / 1360 » Testing with Functions as Specifications |
154
click to vote
MR
2002
15 years 7 months ago
2002
Experiments are described in this paper whose results suggest a clear mathematical relationship between total circuit resistance (including the capacitor's ESR) and the volta...
177
click to vote
MDM
2010
Springer
15 years 6 months ago
2010
Springer
—Context-awareness is a critical aspect of safe navigation, especially for the blind and visually-impaired in unfamiliar environments. Existing mobile devices for contextaware na...
222
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...
182
click to vote
NAACL
2010
15 years 5 months ago
2010
Current statistical parsers tend to perform well only on their training domain and nearby genres. While strong performance on a few related domains is sufficient for many situatio...
237
click to vote
EUSFLAT
2009
15 years 5 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...