116 search results - page 18 / 24 » Deduction Systems for Coalgebras Over Measurable Spaces |
SMC
2010
IEEE
13 years 5 months ago
2010
IEEE
—This paper presents a new framework to describe individual facial expression spaces, particularly addressing the dynamic diversity of facial expressions that appear as an exclam...
ISSTA
2004
ACM
14 years 11 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
IMC
2004
ACM
14 years 11 days ago
2004
ACM
Monitoring any portion of the Internet address space reveals incessant activity. This holds even when monitoring traffic sent to unused addresses, which we term “background rad...
MOBISYS
2006
ACM
14 years 6 months ago
2006
ACM
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...
SIGMETRICS
2004
ACM
14 years 11 days ago
2004
ACM
We study the problem of locating in space and over time a network path’s tight link, that is the link with the least available bandwidth on the path. Tight link localization ben...