1021 search results - page 81 / 205 » Concepts in Proof Planning |
ECIS
2003
13 years 10 months ago
2003
Positivist, single case study is an important research approach within the information systems discipline. This paper provides detailed definitions of key concepts in positivist, ...
CERA
2004
13 years 8 months ago
2004
: Virtual-build-to-order (VBTO) is a form of order fulfilment system in which the producer has the ability to search across the entire pipeline of finished stock, products in produ...
JUCS
2010
13 years 3 months ago
2010
: One of the most important use-cases of Trusted Computing is Remote Attestation. It allows platforms to get a trustworthy proof of the loaded software and current configuration of...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: The aim of trajectory navigation is to position a surgical instrument along a planned trajectory. Computer assisted navigation systems show maximal flexibility but are limited by...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
Wyner-Ziv (WZ) coding of video utilizes simple encoders and highly complex decoders. A transcoder from a WZ codec to a traditional codec can potentially increase the range of appl...