676 search results - page 39 / 136 » A theory of aspects |
85
Voted
ENTCS
2008
15 years 16 days ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
105
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
75
Voted
TWC
2008
15 years 10 days ago
2008
Abstract--We analyze asymptotic ergodic capacity of multidimensional vector-sensor array MIMO (PMD-MIMO) channels established by the use of dual-polarized antennas in the form of 1...
109
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
95
Voted
ARTMED
2008
15 years 18 days ago
2008
The problem of consciousness has captured the imagination of philosophers, neuroscientists, and the general public, but has received little attention within AI. However, concepts ...