Sciweavers

949 search results - page 97 / 190
» Programmed Mutagenesis Is Universal
Sort
View
ACSE
2000
ACM
15 years 8 months ago
Are you interested in computers and electronics?
Secondary school students, when investigating tertiary study, have little opportunity to discover what a particular course has to offer and often have a poor understanding of empl...
David Abramson, Gordon S. Lowe, Peter Atkinson
TACS
1997
Springer
15 years 8 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
FLAIRS
2004
15 years 5 months ago
The Pedagogy of Artificial Intelligence: A Survey of Faculty Who Teach Introductory AI
This paper present highlights of the results of a survey of instructors of the introductory Artificial Intelligence course at colleges and universities throughout the United State...
Harlan D. Harris, Sarah M. Kiefer
BIOSYSTEMS
2007
95views more  BIOSYSTEMS 2007»
15 years 4 months ago
Physical limits of computation and emergence of life
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
Abir U. Igamberdiev
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 2 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King