Sciweavers

5766 search results - page 839 / 1154
» Reverse Engineering of Data
Sort
View
IJCNN
2000
IEEE
15 years 11 months ago
A 2D Neuromorphic VLSI Architecture for Modeling Selective Attention
Selectiveattentionis a mechanismsused to sequentiallyselectthe spatiallocationsof salientregionsin the sensor’sfieldof view. This mechanism overcomesthe problem of flooding limi...
Giacomo Indiveri
TOOLS
2000
IEEE
15 years 11 months ago
Tool Integration: Experiences and Issues in Using XMI and Component Technology
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
Christian Heide Damm, Klaus Marius Hansen, Michael...
TPHOL
2000
IEEE
15 years 11 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
VISUALIZATION
2000
IEEE
15 years 11 months ago
Scientific visualization of water quality in the Chesapeake Bay
This paper describes our experience in designing and building a tool for visualizing the results of the CE-QUAL-ICM Three-Dimensional Eutrophication Model, as applied to water qua...
Robert Stein, Alan M. Shih, M. Pauline Baker, Carl...
ISORC
1998
IEEE
15 years 11 months ago
Object-Oriented Design of Real-Time Telecom Systems
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
Jean-Marc Jézéquel