231 search results - page 29 / 47 » A Brief Overview of HOL4 |
IJACDT
2011
13 years 1 days ago
2011
This study wishes to describe some of the key components of an art educational domain entitled ground<c>, which is being developed specifically for three dimensional online ...
ROMAN
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
CHARME
1999
Springer
14 years 27 days ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
CIARP
2009
Springer
14 years 3 months ago
2009
Springer
This paper gives an overview of works done in our group on 3D and appearance modeling of objects, from images. The backbone of our approach is to use what we consider as the princi...
TVCG
2010
13 years 7 months ago
2010
—We introduce the concept of a Visual Backchannel as a novel way of following and exploring online conversations about large-scale events. Microblogging communities, such as Twit...