4636 search results - page 546 / 928 » Modelling and Validation with VipTool |
160
click to vote
WSC
2008
15 years 9 months ago
2008
This paper develops procedures for selecting a set of normal populations with unknown means and unknown variances in order that the final subset of selected populations satisfies ...
178
click to vote
APLAS
2008
ACM
15 years 9 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
222
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
218
click to vote
CAMP
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In this paper we address the problem of the architectural exploration from the energy/performance point of view of a VLIW processor for embedded systems. We also consid...
210
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Anonymity protocols are a privacy-enhancing technology for Internet-based communication. Two important characteristics of anonymity protocols are the strength of anonymity provide...