Sciweavers

8729 search results - page 256 / 1746
» Design Of Experiments: Overview
Sort
View
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 24 days ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
ISSAC
2007
Springer
131views Mathematics» more  ISSAC 2007»
16 years 24 days ago
Some recent progress in exact linear algebra and related questions
We describe some major recent progress in exact and symbolic linear algebra. These advances concern the improvement of complexity estimates for fundamental problems such as linear...
Gilles Villard
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
16 years 21 days ago
SeamCAD: Object-Oriented Modeling Tool for Hierarchical Systems in Enterprise Architecture
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...
Lam-Son Lê, Alain Wegmann
IJCNN
2006
IEEE
16 years 21 days ago
Patterns, Hypergraphs and Embodied General Intelligence
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
Ben Goertzel
ISCAS
2006
IEEE
163views Hardware» more  ISCAS 2006»
16 years 20 days ago
ASIC hardware implementation of the IDEA NXT encryption algorithm
— Symmetric-key block ciphers are often used to provide data confidentiality with low complexity, especially in the case of dedicated hardware implementations. IDEA NXT is a nov...
Marco Macchetti, Wenyu Chen