1458 search results - page 52 / 292 » The sequentially realizable functionals |
122
Voted
CBSE
2009
Springer
15 years 9 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
99
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
135
click to vote
IEEEIAS
2009
IEEE
15 years 9 months ago
2009
IEEE
: An algorithm for one-way hash function construction based on conservative chaotic system is proposed. The plaintext is divided into a group of message blocks by a fixed length an...
89
Voted
GI
2009
Springer
15 years 7 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
136
Voted
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...