12981 search results - page 2343 / 2597 » Model Checking (Abstract) |
152
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We are interested in the relationship between learning efficiency and representation in the case of supervised neural networks for pattern classification trained by conti...
135
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
140
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
155
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract-If data traffic were Poisson, increases in the amount of traffic aggregated on a network would rapidly decrease the relative size of bursts. The discovery of pervasive lon...
153
click to vote
MABS
2000
Springer
15 years 7 months ago
2000
Springer
There is a growing belief that the agents' cognitive structures play a central role on the enhancement of predicative capacities of decision-making strategies. This paper anal...