Sciweavers

3813 search results - page 675 / 763
» Advanced Interaction in Context
Sort
View
CANDT
2009
15 years 10 months ago
Hometown websites: continuous maintenance of cross-border connections
Information and Communication Technologies (ICT) become particularly relevant in contexts where place-based communities get dispersed and migrants look for ways to keep strong con...
Luís A. Castro, Victor M. Gonzalez
FROCOS
2007
Springer
15 years 10 months ago
Certification of Automated Termination Proofs
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
Evelyne Contejean, Pierre Courtieu, Julien Forest,...
EPIA
2009
Springer
15 years 10 months ago
Semantic Image Search and Subset Selection for Classifier Training in Object Recognition
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
Rui Pereira, Luís Seabra Lopes, Augusto Sil...
ICDS
2007
IEEE
15 years 10 months ago
A Practical Synthesis of Dynamic Role Settings in Telecare Services
- Role provisioning is an essential yet complex aspect of the design of virtual organisations. This paper addresses an even more complex scenario, that of role provisioning in tele...
Ying Liu, Jean Bacon
3DPVT
2004
IEEE
177views Visualization» more  3DPVT 2004»
15 years 10 months ago
Seeing into the Past: Creating a 3D Modeling Pipeline for Archaeological Visualization
Archaeology is a destructive process in which accurate and detailed recording of a site is imperative. As a site is exposed, documentation is required in order to recreate and und...
Peter K. Allen, Steven Feiner, Alejandro Troccoli,...