12774 search results - page 305 / 2555 » A Framework for Proof Systems |
168
click to vote
ANSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
172
click to vote
ETFA
2005
IEEE
16 years 10 days ago
2005
IEEE
Industrial control systems architectures have been evolving to the decentralization of control tasks. This evolution associated with the time-critical nature of these tasks, incre...
161
click to vote
IRI
2005
IEEE
16 years 10 days ago
2005
IEEE
Legacy systems are valuable assets for organisations. They continuously evolve with new emerged technologies in rapidly changing business environment. ICENI provided an excellent ...
151
click to vote
NSDI
2007
15 years 9 months ago
2007
Modern Internet systems often combine different applications (e.g., DNS, web, and database), span different administrative domains, and function in the context of network mechanis...
148
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we discuss design considerations and our plans to develop a generalized framework for intelligent support in educational argumentation systems. Our goal is to develo...