2797 search results - page 355 / 560 » Code query by example |
126
click to vote
WINE
2007
Springer
15 years 10 months ago
2007
Springer
We examine a formal model of sponsored search in which advertisers can bid not only on search terms, but on search terms under specific contexts. A context is any auxiliary infor...
133
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
An overview of 3D and free viewpoint video is given in this paper with special focus on related standardization activities in MPEG. Free viewpoint video allows the user to freely ...
124
click to vote
MEMOCODE
2006
IEEE
15 years 10 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
128
Voted
WAC
2004
Springer
15 years 9 months ago
2004
Springer
The goal of this research is to create robust execution circuits for communication software which can distribute over a network and which continues to provide its service despite p...
131
click to vote
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...