2421 search results - page 205 / 485 » Message from the Co-Chairs |
191
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
166
click to vote
AAAI
2010
15 years 7 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...
169
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
157
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
IP traceback can be used to find the origin of anonymous traffic; however, Internet-scale IP traceback systems have not been deployed due to a need for cooperation between Interne...
142
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We consider the N-user broadcast erasure channel where feedback from the users is fed back to the transmitter in the form of ACK messages. We provide a generic outer bound to the ...