3346 search results - page 286 / 670 » A Generic Rendering System |
186
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
193
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
A design flow for processor platforms with on-chip coarse-grain reconfigurable logic is presented. The reconfigurable logic is realized by a 2-Dimensional Array of Processing Elem...
162
Voted
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
164
Voted
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
190
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe XVIP, an XML-based video information processing system, which extracts information from video and stores the information in a multimedia digital video library. XVIP en...