3256 search results - page 331 / 652 » Applications of Formal Methods to System Design and Verifica... |
191
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
When reconfigurable devices are used in modern embedded systems and their capability to adapt to changing application requirements becomes an issue, comprehensive modeling and de...
211
click to vote
SG
2005
Springer
16 years 4 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
170
click to vote
AIME
2007
Springer
16 years 26 days ago
2007
Springer
The development of intelligent healthcare support systems always requires a formalization of medical knowledge. Domain ontologies are especially suitable for this purpose but their...
242
click to vote
TIP
2008
15 years 6 months ago
2008
Abstract--In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only...
266
click to vote
DDEP
2000
Springer
15 years 11 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...