4255 search results - page 546 / 851 » Database: Models, Languages, Design |
186
Voted
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
199
click to vote
JVA
2006
IEEE
16 years 23 days ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
199
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
188
click to vote
SIGSOFT
2003
ACM
16 years 7 hour ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
212
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Emotions play a critical role in creating engaging and believable characters to populate virtual worlds. Our goal is to create general computational models to support characters t...