7167 search results - page 96 / 1434 » A Technique for Invariant Generation |
145
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Recommender systems evaluate and filter the great amount of information available on the Web to assist people in their search processes. A fuzzy linguistic evaluation method of We...
182
click to vote
JUCS
2008
15 years 6 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
165
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
190
click to vote
FOSSACS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
151
click to vote
NN
2008
Springer
15 years 6 months ago
2008
Springer
Currently, there is a lack of general-purpose in-place learning networks that model feature layers in the cortex. By "general-purpose" we mean a general yet adaptive hig...