3552 search results - page 660 / 711 » Proof theory in the abstract |
TSMC
2008
15 years 1 months ago
2008
Abstract--This paper compares two evaluation criterion frameworks for sociotechnical software. Research on the technology acceptance model (TAM) confirms that perceived usefulness ...
106
click to vote
TSP
2008
15 years 1 months ago
2008
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...
130
Voted
KAIS
2007
15 years 1 months ago
2007
Abstract. Outlier detection is concerned with discovering exceptional behaviors of objects. Its theoretical principle and practical implementation lay a foundation for some importa...
122
click to vote
AROBOTS
2002
15 years 1 months ago
2002
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. The phylogenetic tree construction is to infer the evolutionary relationship between species from the experimental data. However, the experimental data are often imperfec...