742 search results - page 50 / 149 » Considerations in Automated Marking |
DFT
2007
IEEE
15 years 5 months ago
2007
IEEE
Chemically Assembled Electronic Nanotechnology is a promising alternative to CMOS fabrication. In particular, the nanoFabric has proven to be a viable solution for implementing di...
CSL
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
ECSQARU
2003
Springer
15 years 4 months ago
2003
Springer
We introduce a set of transformations on the set of all probability distributions over a finite state space, and show that these transformations are the only ones that preserve c...
ECOOP
1991
Springer
15 years 2 months ago
1991
Springer
We have previously shown how the discovery of classes from objects can be automated, and how the resulting class organization can be e ciently optimized in the case where the opti...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
It is widely acknowledged that group or team projects are a staple of undergraduate and graduate software engineering courses. Such projects provide students with experiences that...