203 search results - page 24 / 41 » Reflections on reflections in explicit mathematics |
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—A unified electronic health record (EHR) has potentially immeasurable benefits to society, and the current healthcare industry drive to create a single EHR reflects this. Howeve...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
The majority of text retrieval and mining techniques are still based on exact feature (e.g. words) matching and unable to incorporate text semantics. Many researchers believe that...