12289 search results - page 1977 / 2458 » computing 2006 |
183
click to vote
FUIN
2007
15 years 7 months ago
2007
Abstract. Our previous research presents a methodology of cooperative problem solving for beliefdesire-intention (BDI) systems, based on a complete formal theory called TEAMLOG. Th...
197
click to vote
FUIN
2007
15 years 7 months ago
2007
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
202
click to vote
GEOINFORMATICA
2007
15 years 7 months ago
2007
Orthophotos (or orthoimages if in digital form) have long been recognised as a supplement or alternative to standard maps. The increasing applications of orthoimages require effor...
192
click to vote
GPEM
2007
15 years 7 months ago
2007
Our rapidly growing knowledge regarding genetic variation in the human genome offers great potential for understanding the genetic etiology of disease. This, in turn, could revolut...
189
click to vote
NAR
2006
15 years 7 months ago
2006
Variable order Markov models and variable order Bayesian trees have been proposed for the recognition of transcription factor binding sites, and it could be demonstrated that they...