4856 search results - page 8 / 972 » What Values in Design |
112
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
143
click to vote
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
134
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
153
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
131
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...