25175 search results - page 196 / 5035 » MPEG-4 systems and applications |
214
click to vote
BMCBI
2005
15 years 6 months ago
2005
ent> <title><p>BioSysBio: Bioinformatics and Systems Biology Conference</p></title> <note>Meeting abstracts
164
click to vote
ECCC
2010
15 years 4 months ago
2010
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj
197
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
200
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
189
click to vote
ICFP
2003
ACM
2003
ACM
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
16 years 6 months ago
We report on work in progress devoted to the formalization of an Ordered Logical Framework (OLF) based on a two-level architecture [8] in the Hybrid system. OLF here is a second-or...