235 search results - page 20 / 47 » A Practical Mix |
132
click to vote
IANDC
2011
14 years 9 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
104
click to vote
JDCTA
2010
14 years 8 months ago
2010
The wide diffusion of new technologies in communication and business has changed how consumer and product/store knowledge has to be managed and represented digitally. This issue h...
118
click to vote
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
Nonlinear ICA may not result in nonlinear blind source separation, since solutions to nonlinear ICA are highly non-unique. In practice, the nonlinearity in the data generation pro...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
129
click to vote
VTC
2010
IEEE
15 years 8 days ago
2010
IEEE
—Advanced packet scheduling schemes in 3G/3G+ mobile networks provide one or more parameters to optimise the trade-off between QoS and resource efficiency. In this paper we stud...