581 search results - page 33 / 117 » An Automata Model for Trees with Ordered Data Values |
160
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The importance of electronic collaboration has risen as successful organisations recognize that they need to convert their intellectual resources into goods and services their cus...
168
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Comparative analysis of gene expression profiling of multiple biological categories, such as different species of organisms or different kinds of tissue, promises to e...
175
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
166
click to vote
JACM
2000
15 years 5 months ago
2000
A simple variant of a priority queue, called a soft heap, is introduced. The data structure supports the usual operations: insert, delete, meld, and findmin. Its novelty is to beat...
224
click to vote
ABIALS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...