2748 search results - page 281 / 550 » Generating Object-Z Specifications from Use Cases |
135
click to vote
JAR
2010
15 years 2 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
114
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Modelling proteins with multiple domains is one of the central challenges in Structural Biology. Although homology modelling has successfully been applied for predicti...
143
Voted
VLC
2008
15 years 3 months ago
2008
This article describes an architecture for translating speech into Spanish Sign Language (SSL). The architecture proposed is made up of four modules: speech recognizer, semantic a...
135
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents a novel approach of using web log data generated by course management systems (CMS) to help instructors become aware of what is happening in distance learning ...
166
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...