8828 search results - page 1450 / 1766 » Formal methods in practice |
169
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
For decades, US universities and colleges have had policies pertaining to the conduct of their students at the institutional level. These policies are referred to as Academic Inte...
150
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
This special session examines frameworks for the preparation of high school computer science (CS) teachers from the Israeli perspective. Specifically, several Israeli CS teacher p...
156
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Ordering and ranking items of different types are important tasks in various applications, such as query processing and scientific data mining. A total order for the items can be ...
207
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
One fundamental challenge for mining recurring subgraphs from semi-structured data sets is the overwhelming abundance of such patterns. In large graph databases, the total number ...
133
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We conducted an ethnographic field study examining the ways in which building design teams used visual representations of data to coordinate their work. Here we describe our exper...