13383 search results - page 2319 / 2677 » Abstractions from proofs |
169
click to vote
ACII
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Using a discovery-with-models approach, we study the relationships between novice Java programmers’ experiences of confusion and their achievement, as measured through ...
233
click to vote
ADBIS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In recent years, the World Wide Web (WWW) has transformed to a gigantic social network where people interact and collaborate in diverse online communities. By using Web 2...
155
click to vote
ASUNAM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Community detection or cluster detection in networks is a well-studied, albeit hard, problem. Given the scale and complexity of modern day social networks, detecting “...
127
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
228
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...