11397 search results - page 2062 / 2280 » A Relational Abstraction for Functions |
195
click to vote
FASE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
222
click to vote
FLOPS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
189
click to vote
GIAE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
252
click to vote
JELIA
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
182
click to vote
MHCI
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper we describe a new method and user interface for interactive positioning of a mobile device. The key element of this method is a questionanswer style dialogu...