Sciweavers

1734 search results - page 110 / 347
» What works
Sort
View
COCO
2009
Springer
113views Algorithms» more  COCO 2009»
14 years 3 months ago
Are PCPs Inherent in Efficient Arguments?
Starting with Kilian (STOC ‘92), several works have shown how to use probabilistically checkable proofs (PCPs) and cryptographic primitives such as collision-resistant hashing to...
Guy N. Rothblum, Salil P. Vadhan
ESAW
2009
Springer
14 years 3 months ago
Programming Organization-Aware Agents
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
M. Birna van Riemsdijk, Koen V. Hindriks, Catholij...
ICCS
2009
Springer
14 years 3 months ago
Semantic Search - Using Graph-Structured Semantic Models for Supporting the Search Process
Semantic search attempts to go beyond the current state of the art in information access by addressing information needs on the semantic level, i.e. considering the meaning of user...
Thanh Tran, Peter Haase, Rudi Studer
MHCI
2009
Springer
14 years 3 months ago
Kartta: extracting landmarks near personalized points-of-interest from user generated content
Most mobile navigation systems focus on answering the question, “I know where I want to go, now can you show me exactly how to get there?” While this approach works well for m...
Arttu Perttula, Scott Carter, Laurent Denoue
PERSUASIVE
2009
Springer
14 years 3 months ago
Goal-setting considerations for persuasive technologies that encourage physical activity
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...
Sunny Consolvo, Predrag V. Klasnja, David W. McDon...