5205 search results - page 334 / 1041 » Tilings and model theory |
107
click to vote
DIMEA
2008
15 years 2 months ago
2008
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
127
click to vote
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
140
click to vote
BMCBI
2007
15 years 28 days ago
2007
Background: Structure identification of dynamic models for complex biological systems is the cornerstone of their reverse engineering. Biochemical Systems Theory (BST) offers a pa...
110
Voted
COGSCI
2010
15 years 28 days ago
2010
Words are the essence of communication: they are the building blocks of any language. Learning the meaning of words is thus one of the most important aspects of language acquisiti...
124
Voted
SCALESPACE
2001
Springer
15 years 5 months ago
2001
Springer
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...