4151 search results - page 113 / 831 » Language Driven System Design |
ASPDAC
1998
ACM
15 years 5 months ago
1998
ACM
— Simple yet useful analytical formulas for delay, slope and crosstalk noise amplitude for capacitively coupled two-, three- and infinite-line systems are derived assuming bus li...
110
click to vote
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
137
click to vote
DGO
2008
15 years 3 months ago
2008
We are developing an automated crime reporting and investigative interview system. The system incorporates cognitive interview techniques to maximize witness memory recall, and in...
105
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
126
click to vote
ITS
2010
Springer
15 years 3 months ago
2010
Springer
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...