575 search results - page 46 / 115 » Wichita State University |
AGILEDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Utilizing pair programming in the classroom requires specific classroom management techniques. We have created nine guidelines for successfully implementing pair programming in th...
WABI
2007
Springer
14 years 2 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In the following work, we develop a characterization method using miniature fiberoptic position sensors for the Micromechanical Flying Insect (MFI)1 , a centimeter siz...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
ADC
2001
Springer
14 years 11 days ago
2001
Springer
The Sketch Data Model (SkDM) is a new semantic modelling paradigm based on category theory (specifically on categorical universal algebra), which has been used successfully in se...