10462 search results - page 1723 / 2093 » Toward the |
195
click to vote
IVS
2008
15 years 6 months ago
2008
Supporting visual analytics of multiple large-scale multidimensional datasets requires a high degree of interactivity and user control beyond the conventional challenges of visual...
173
Voted
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
165
click to vote
IJON
2006
15 years 6 months ago
2006
This paper addresses the following question: ``What neural circuits can emulate the monosynaptic correlogram generated by a direct connection between two neurons?'' The ...
162
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
200
click to vote
JCIT
2008
15 years 6 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...