10916 search results - page 1881 / 2184 » On Constructive Connectives and Systems |
137
click to vote
ACMSE
2006
ACM
16 years 21 days ago
2006
ACM
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
164
click to vote
ASPDAC
2006
ACM
16 years 21 days ago
2006
ACM
— In this paper, we introduce a novel substrate noise estimation technique during early floorplanning, based on the concept of Block Preference Directed Graph (BPDG) and the cla...
198
click to vote
GIR
2006
ACM
16 years 21 days ago
2006
ACM
Many documents that can be found in the World Wide Web include some kind of geographical information, often in an implicit way. The use of resources like gazetteers and geographic...
210
click to vote
ISSTA
2006
ACM
16 years 20 days ago
2006
ACM
Aspect-Oriented Programming (AOP) has been proposed as a methodology that provides new modularization of software systems by allowing encapsulation of cross-cutting concerns. Aspe...
172
click to vote
ML
2006
ACM
16 years 20 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...