10500 search results - page 1962 / 2100 » Documentation for |
PERSUASIVE
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a new model for understanding human behavior. In this model (FBM), behavior is a product of three factors: motivation, ability, and triggers, each of which has...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
JCDL
2009
ACM
14 years 2 months ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...