193 search results - page 38 / 39 » Several ways to solve the MSO problem |
132
Voted
SOFTVIS
2010
ACM
15 years 1 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
122
click to vote
JAIR
2006
15 years 23 days ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
121
Voted
TPDS
2008
15 years 21 days ago
2008
In this paper, a novel approximate link-state dissemination framework, called TROP, is proposed for shared backup path protection (SBPP) in Multi-Protocol Label Switching (MPLS) ne...
75
Voted
MOC
1998
15 years 14 days ago
1998
We use the algorithmic computation of exact sequences of Abelian groups to compute the complete structure of (ZK /m)∗ for an ideal m of a number field K, as well as ray class gr...
126
click to vote
EDBT
2010
ACM
14 years 11 months ago
2010
ACM
Private matching between datasets owned by distinct parties is a challenging problem with several applications. Private matching allows two parties to identify the records that ar...