1516 search results - page 215 / 304 » Generalizing Indexical-Functional Reference |
JMM2
2008
14 years 9 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
JALC
2006
14 years 9 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
JBI
2006
14 years 9 months ago
2006
Many bioinformaticians seem to shy away from believing that we can have knowledge about a mind-independent biological reality. This paper attempts to show that this tendency is ne...
ENTCS
2007
14 years 9 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
KES
2006
Springer
14 years 9 months ago
2006
Springer
Abstract In general, avatar-based communication has a merit that it can represent non-verbal information. The simplest way of representing the non-verbal information is to capture ...