Sciweavers

9119 search results - page 1464 / 1824
» A Simultaneous Search Problem
Sort
View
ACSAC
2002
IEEE
15 years 9 months ago
Representing TCP/IP Connectivity For Topological Analysis of Network Security
The individual vulnerabilities of hosts on a network can be combined by an attacker to gain access that would not be possible if the hosts were not interconnected. Currently avail...
Ronald W. Ritchey, Brian O'Berry, Steven Noel
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 9 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
ICRA
2002
IEEE
166views Robotics» more  ICRA 2002»
15 years 9 months ago
Real Time Visualization of Robot State with Mobile Virtual Reality
— With the deployment of large, distributed networks of cameras and other sensors, it is becoming necessary to also address the issue of how to effectively present the large vol...
Peter Amstutz, Andrew H. Fagg
ICTAI
2002
IEEE
15 years 9 months ago
Calculus of Variations in Discrete Space for Constrained Nonlinear Dynamic Optimization
In this paper, we propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and...
Yixin Chen, Benjamin W. Wah
IEEEMSP
2002
IEEE
117views Multimedia» more  IEEEMSP 2002»
15 years 9 months ago
Hidden Markov model for automatic transcription of MIDI signals
— This paper describes a Hidden Markov Model (HMM)-based method of automatic transcription of MIDI (Musical Instrument Digital Interface) signals of performed music. The problem ...
Haruto Takeda, Naoki Saito, Tomoshi Otsuki, Mitsur...
« Prev « First page 1464 / 1824 Last » Next »