6800 search results - page 708 / 1360 » Testing with Functions as Specifications |
224
click to vote
ICANN
2007
Springer
15 years 9 months ago
2007
Springer
A multilayer neural network based on multi-valued neurons (MLMVN) is a new powerful tool for solving classification, recognition and prediction problems. This network has a number ...
185
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
153
click to vote
AAAI
2010
15 years 8 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
172
click to vote
CCE
2007
15 years 8 months ago
2007
: Collaborative engineering involves knowledge-intensive activities involving different specialists in collaboration processes tailored for the engineering domain under considerati...
182
click to vote
CVHI
2007
15 years 8 months ago
2007
The Paper presents multimedia system for accessible distant education which consists of multimedia browser accessible for visually impaired people and content distribution streamin...