2409 search results - page 118 / 482 » Logical systems for structured specifications |
162
click to vote
CIG
2005
IEEE
15 years 11 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
150
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
158
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Measuring the accuracy of biometrics systems is important. Accuracy estimates depend very much on the quality of the test data that are used. Including poor quality data will degr...
162
Voted
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
138
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
Recent advancements in FPGA technology have allowed manufacturers to place general-purpose processors alongside user-configurable logic gates on a single chip. At first glance, ...