549 search results - page 94 / 110 » Verification condition generation for conditional informatio... |
75
Voted
NECO
2008
14 years 10 months ago
2008
We consider a formal model of stimulus encoding with a circuit consisting of a bank of filters and an ensemble of integrate-and-fire neurons. Such models arise in olfactory system...
TCSV
2008
14 years 10 months ago
2008
Recent advances in computer vision and pattern recognition have fuelled numerous initiatives that aim to intelligently recognize human activities. In this paper, we propose an algo...
98
Voted
JFR
2007
14 years 10 months ago
2007
In this paper, we report on the integration challenges of the various component technologies developed towards the establishment of a framework for deploying an adaptive system of...
105
Voted
JNW
2007
14 years 10 months ago
2007
Abstract— In this paper, we propose and evaluate a selforganizing communication mechanism for wireless sensor networks where a large number of sensor nodes are deployed. To accom...
115
Voted
JSW
2007
14 years 10 months ago
2007
—Becoming more competitive and more effective in the current scenes of Business and Public Administration, the organizations must be able to approach easily and quickly to the in...