8706 search results - page 1552 / 1742 » Learning Subjective Language |
131
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
138
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
As the set of available Web Services expands, it becomes increasingly important to have automated tools to help identify services that match a requester's requirements. Findi...
137
click to vote
CLEF
2009
Springer
15 years 5 months ago
2009
Springer
This paper presents the participation of the semantic N-levels search engine SENSE at the CLEF 2009 Ad Hoc Robust-WSD Task. During the participation at the same task of CLEF 2008,...
135
click to vote
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
153
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...