998 search results - page 50 / 200 » From Feasible Proofs to Feasible Computations |
ICTAC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
This paper explores using non-linguistic vocalization as an additional modality to augment digital pen input on a tablet computer. We investigated this through a set of novel inte...
ISWC
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— This paper describes a feasibility study for a selfcontained, wearable full-body motion capture system based on time-of-flight measurements that provide absolute dista...
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
CSDA
2011
13 years 3 months ago
2011
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...