27692 search results - page 57 / 5539 » Where is ... |
ENTCS
2007
13 years 8 months ago
2007
We report here on our experiences using a program animation tool, the Teaching Machine, for program and algorithm visualization for engineering and physics students at two univers...
JOT
2007
13 years 8 months ago
2007
nt selection mechanism at a high-level of abstraction to decouple aspects from the application code. To this regard, we adopt a high-level pattern-based join point model, where joi...
COMBINATORICS
2002
13 years 8 months ago
2002
Fix a rectangular Young diagram R, and consider all the products of Schur functions ssc , where and c run over all (unordered) pairs of partitions which are complementary with re...
JSYML
2000
13 years 8 months ago
2000
Let K0 be the class of structures , <, A , where A is disjoint from a club, and let K1 be the class of structures , <, A , where A contains a club. We prove that if = &...
INTERACTIONS
2010
13 years 7 months ago
2010
rate, the CCHI is defined abstractly as a metric that can be stated in ordinary language and diagrams that allows people to answer the following three questions related to sustaina...