4041 search results - page 113 / 809 » A Model of Creative Understanding |
134
Voted
SPLC
2007
15 years 4 months ago
2007
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
129
Voted
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
139
Voted
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
122
Voted
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
A relatively rare application of artificial intelligence at the nexus of art and music is dance. The impulse shared by all humans to express ourselves through dance represents a u...
119
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Emergencies today seem larger, more complex, and unique than those of the past. Responding to them requires flexibility and creativity not easily achieved. The threat-rigidity the...