193 search results - page 7 / 39 » Theoretical Aspects of the Complex: Arts and New Technologie... |
TSMC
2008
13 years 7 months ago
2008
With recent advances in battery capacity and the development of hydrogen fuel cells, autonomous underwater vehicles (AUVs) are being used to undertake longer missions that were pre...
TPHOL
2002
IEEE
14 years 8 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...
SEAAI
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
ERCIM
2010
13 years 7 months ago
2010
Interactive multimedia performances are rapidly gaining ground within performing arts communities nowadays, mainly due to breakthroughs in humancomputer interaction technologies, ...