2498 search results - page 309 / 500 » A tool for materials exploration |
158
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
209
Voted
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present our Mediamill video search engine. The basis for the engine is a semantic indexing process which derives a lexicon of 101 concepts. To support the user in ...
162
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
196
click to vote
CSEE
2006
Springer
15 years 10 months ago
2006
Springer
This paper shows how Theory-W and the WinWin requirements negotiation approach are used in software engineering education at several universities in the US, Europe, and Asia. We b...
156
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes an ongoing exploration into the use of Continuous-Time Recurrent Neural Networks (CTRNNs) as generative and interactive performance tools, and using Genetic Al...