716 search results - page 46 / 144 » Rule Formats for Timed Processes |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Video transcoding is a mechanism to convert video bitstreams from one coding format to other formats. In this operation, the computational complexity and picture quality are the t...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
ICMLA
2007
13 years 9 months ago
2007
— This paper addresses the problem of understanding preservation and reconstruction requirements for computeraided medical decision-making. With an increasing number of computer-...
IMECS
2007
13 years 9 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
EUROMICRO
1999
IEEE
13 years 12 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...