133 search results - page 16 / 27 » Inference of Session Types From Control Flow |
PPDP
2010
Springer
13 years 4 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— The deployment of wireless LANs (WLANs) has been steadily increasing over the years and estimating the actual bit rate of a WLAN device is important for management and applicat...
EMSOFT
2005
Springer
14 years 7 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
PASTE
2010
ACM
13 years 11 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...