1054 search results - page 52 / 211 » A Formalization of the Turing Test |
131
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
135
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
121
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
129
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
143
click to vote
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 9 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...