4074 search results - page 577 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
154
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
199
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
199
click to vote
CRV
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we describe a technique to infer the topology and connectivity information of a network of cameras based on observed motion in the environment. While the technique c...
187
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajector...
166
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we study speech enhancement in eigen-domain. In our previous work on audible noise reduction, we use masking properties of the human auditory system to define the ...