4480 search results - page 337 / 896 » Prototyping Completion with Constraints Using Computational ... |
200
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
165
click to vote
CGF
2010
15 years 6 months ago
2010
We propose to enhance the capabilities of the human visual system by performing optical image processing directly on an observed scene. Unlike previous work which additively super...
137
click to vote
ACMACE
2010
ACM
15 years 1 months ago
2010
ACM
Tangible Anchoring explores potential practices for news reporting and analysis afforded by the convergence of tabletop computing forms, broadcast media, and user-generated conten...
192
click to vote
JSAC
2007
15 years 6 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
164
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...