Sciweavers

3557 search results - page 185 / 712
» Authoring Presentation for OpenMath
Sort
View
TEI
2010
ACM
124views Hardware» more  TEI 2010»
16 years 1 months ago
Recording inner life
“Recording Inner Life” is the title of my master’s thesis. It is a system to express the “inner life” (feelings, affects, and emotions) and record them on a long-term ba...
Elisabeth Eichhorn
EVOW
2009
Springer
16 years 1 months ago
University Course Timetabling with Genetic Algorithm: A Laboratory Excercises Case Study
Abstract. This paper describes the application of a hybrid genetic algorithm to a real-world instance of the university course timetabling problem. We address the timetabling of la...
Zlatko Bratkovic, Tomislav Herman, Vjera Omrcen, M...
TRUSTBUS
2009
Springer
16 years 1 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
FCT
2009
Springer
16 years 1 months ago
On Random Betweenness Constraints
Despite of their applicability betweennness constraints have (to the author’s knowledge) hardly been considered from the random structures point of view. They are essentially di...
Andreas Goerdt
ICIDS
2009
Springer
16 years 1 months ago
Emohawk: Searching for a "Good" Emergent Narrative
We report on the progress we have achieved in development of Emohawk, a 3D virtual reality application with an emergent narrative for teaching high-school students and undergraduat...
Cyril Brom, Michal Bída, Jakub Gemrot, Rudo...