1837 search results - page 350 / 368 » Abstraction and the C Machine Model |
IWRIDL
2006
ACM
14 years 1 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
MM
2006
ACM
14 years 1 months ago
2006
ACM
Most existing web video search engines index videos by file names, URLs, and surrounding texts. These types of video roughly describe the whole video in an abstract level without ...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper targets with applications running on mobile devices and using context informations. Following previous studies from other authors, we extend the notion of cont...
ISSTA
2004
ACM
14 years 29 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
ESSMAC
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...