8669 search results - page 299 / 1734 » Computing matrix representations |
142
Voted
COCOON
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Hierarchical graphs are an important class of graphs for modelling many real applications in software and information visualization. In this paper, we shall investigate t...
144
Voted
ISSS
1998
IEEE
15 years 8 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
115
click to vote
PRICAI
1998
Springer
15 years 8 months ago
1998
Springer
The advent of computing has exacerbated the problem of overwhelming information. Advanced information management strategies such as Information Extraction, Information Filtering, I...
134
Voted
AIPS
2009
15 years 4 months ago
2009
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan ...
102
click to vote
AIPS
2009
15 years 4 months ago
2009
This paper describes a novel and competitive complete conformant planner. Key to the enhanced performance is an efficient encoding of belief states as disjunctive normal form form...