586 search results - page 61 / 118 » Witnessing side effects |
192
Voted
ICDT
2009
ACM
15 years 2 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
147
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
Recently, adaptive interpolation filter (AIF) has received increasing attention for motion-compensated prediction (MCP). The existing methods code the filter coefficients individu...
142
Voted
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Service-oriented systems facilitate business workflows to span multiple organizations (e.g. by means of Web services). As a side effect, data may be more easily transferred over o...
140
click to vote
COLING
2010
14 years 12 months ago
2010
Syntax based reordering has been shown to be an effective way of handling word order differences between source and target languages in Statistical Machine Translation (SMT) syste...
177
click to vote
WWW
2011
ACM
14 years 12 months ago
2011
ACM
Web entities, such as documents and hyperlinks, are created for different purposes, or intents. Existing intent-based retrieval methods largely focus on information seekers’ int...