1044 search results - page 42 / 209 » An Active Learning Approach to Finding Related Terms |
200
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
180
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
Although Web search engines are targeted towards helping people find new information, people regularly use them to re-find Web pages they have seen before. Researchers have noted ...
139
click to vote
ATAL
2007
Springer
16 years 10 days ago
2007
Springer
This paper proposes a context-dependent case-based mechanism for selecting negotiation partners with the focus on the adaptation of similarity relations to a specific context. Th...
146
click to vote
AAAI
2010
15 years 7 months ago
2010
Labeling nodes in a network is an important problem that has seen a growing interest. A number of methods that exploit both local and relational information have been developed fo...
150
click to vote
PERSUASIVE
2009
Springer
16 years 21 days ago
2009
Springer
Goal-setting has been shown to be an effective strategy for changing behavior; therefore employing goal-setting in persuasive technologies could be an effective way to encourage b...