11182 search results - page 1869 / 2237 » Shape Analysis of Sets |
230
click to vote
ICWS
2008
IEEE
15 years 9 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...
202
click to vote
ICMLA
2007
15 years 9 months ago
2007
In modern business, educational, and other settings, it is common to provide a digital network that interconnects hardware devices for shared access by the users (e.g., in an ofï¬...
176
click to vote
LREC
2008
15 years 9 months ago
2008
Evaluation of Machine Translation (MT) technology is often tied to the requirement for tedious manual judgments of translation quality. While automated MT metrology continues to b...
186
click to vote
LREC
2008
15 years 9 months ago
2008
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
189
click to vote
LREC
2008
15 years 9 months ago
2008
The goal of this work is to introduce an architecture to automatically detect the amount of stress in the speech signal close to real time. For this an experimental setup to recor...