4911 search results - page 607 / 983 » Tree dependence analysis |
136
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
132
click to vote
COORDINATION
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
134
click to vote
NOSSDAV
2010
Springer
15 years 6 months ago
2010
Springer
Placeshifting systems stream videos from the home to a single remote user using the limited upstream capacity of the home broadband link. We analyze the behavior of two placeshift...
155
click to vote
BCS
2008
15 years 6 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
144
click to vote
ICWS
2008
IEEE
15 years 6 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...