2741 search results - page 461 / 549 » Engineering Mathematical Knowledge |
100
click to vote
JCDL
2006
ACM
15 years 8 months ago
2006
ACM
When search results against digital libraries and web resources have limited metadata, augmenting them with meaningful and stable category information can enable better overviews ...
126
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
141
Voted
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
113
Voted
IUI
2003
ACM
15 years 7 months ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...
154
click to vote
WECWIS
2002
IEEE
15 years 7 months ago
2002
IEEE
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...