3233 search results - page 398 / 647 » Validation Method for Intelligent Systems |
140
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
Temporal or dynamic textures (DT's) are video sequences that are spatially repetitive and temporally stationary. DT's are temporal analogs of the well known spatial stil...
164
click to vote
DATE
2009
IEEE
15 years 11 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...
122
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Consider the problem of base-station and subcarrier assignment on the downlink of a two-cell OFDMA system with adaptive modulation. The aim is to maximize a common data...
114
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
148
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we extend a previously introduced method for optimizing the arbitration policy employed by ServerNet routers and we evaluate the method's effect on scalability....