63 search results - page 7 / 13 » Information Systems Education in an Interdisciplinary Intern... |
55
Voted
ECIS
2004
14 years 11 months ago
2004
The dot-com boom in the late 1990s attracted vast numbers of undergraduate students into the field of Information Systems (IS) with the promise of being the next "big thing&q...
SIGITE
2004
ACM
15 years 3 months ago
2004
ACM
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
64
Voted
ITICSE
2010
ACM
15 years 2 months ago
2010
ACM
We present a pilot for a student consultancy service offering students the opportunity to work with internal and external clients on real life projects to learn and enhance trans...
103
click to vote
KI
2010
Springer
14 years 8 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
106
click to vote
CORR
2012
Springer
13 years 5 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...