8669 search results - page 1623 / 1734 » Computing matrix representations |
140
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
102
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
102
click to vote
C5
2008
IEEE
15 years 8 months ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...
108
click to vote
SASO
2008
IEEE
15 years 8 months ago
2008
IEEE
—When programming a spatial computing medium such as a cellular automaton, the hop count distance to some set of sources (particles) is an often used information. In particular, ...
116
click to vote
CVPR
2007
IEEE
15 years 8 months ago
2007
IEEE
Gait is an attractive biometric for vision-based human identification. Previous work on existing public data sets has shown that shape cues yield improved recognition rates compar...