12783 search results - page 487 / 2557 » Experimenting with computing |
140
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
156
click to vote
SAC
1995
ACM
15 years 10 months ago
1995
ACM
A trigger system in High Energy Physics Experiments (HEPE) has to decide, in few µs, if the data related to a nuclear event have to be stored or not. Normally, these data, are co...
189
Voted
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
With the growing popularity of video sharing web sites and the increasing use of consumer-level video capture devices, new algorithms are needed for intelligent searching and inde...
179
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes a research effort to support collaborative translation by monolingual speakers, or people that speak only the source or target language. I hypothesize that sh...
141
Voted
BMVC
2002
15 years 9 months ago
2002
An experimental comparative study between two representation methods for the recognition of 3D objects from a 2D view is carried out. The two methods compared are our ARG region-b...