2935 search results - page 401 / 587 » An Integrated Approach to High Integrity Software Verificati... |
177
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we describe our design and characterization of a co-processor architecture to accelerate median-based phylogenetic reconstruction for generearrangement data. Our curr...
161
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Nanoscale crossbars built from nanowires can form high density memories and programmable logic devices. To integrate such nanoscale devices with other circuits, nanowire decoders ...
171
click to vote
FECS
2006
15 years 7 months ago
2006
Improving the quality of student thinking should be given a high priority in any educational system as good thinking is essential in meeting the challenges of living in a rapidly ...
159
click to vote
IADIS
2003
15 years 7 months ago
2003
Demand responsive transport services are systems that assign users’ specific transport requests to different vehicles enabled to fulfill the required service. In order to contai...
112
click to vote
NAACL
2003
15 years 7 months ago
2003
We describe our approach to the construction and evaluation of a large-scale database called “CatVar” which contains categorial variations of English lexemes. Due to the preva...