Sciweavers

609 search results - page 55 / 122
» A Universal Integral
Sort
View
SIGCSE
1996
ACM
94views Education» more  SIGCSE 1996»
15 years 3 months ago
Writing across the computer science curriculum
At our university, as at many others across the country, there is a movement to integrate the common core subjects with the disciplinary studies. While in the past writing has bee...
Harriet J. Fell, Viera K. Proulx, John Casey
JCIT
2010
83views more  JCIT 2010»
14 years 6 months ago
Key Technologies of Modeling for Equipment Training Environment
For the purpose of equipment training, realistic training environments need to be built and makes operators having an immersed sense. Aiming at present military requirement for eq...
Gang Chen, Huifang Lv, Jun Yang, Yue Zhang
CSEE
2009
Springer
15 years 6 months ago
An Evaluation of Using a Game Development Framework in Higher Education
This paper describes an application of a Game Development Framework (GDF) Microsoft XNA in software architecture (SA) course at Norwegian University of Science and Technology (NTN...
Bian Wu, Alf Inge Wang, Jan-Erik Strøm, Tro...
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 1 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman

Publication
207views
15 years 9 months ago
Incorporating Higher-Order Cues in Image Colorization
We consider the colorization problem of grayscale images when some pixels, called scribbles, with initial colors are given. In this paper, we propose a new multi-layer graph model ...
Tae Hoon Kim (Seoul National University), Kyoung M...