2969 search results - page 131 / 594 » A space efficient algorithm for group structure computation |
133
click to vote
CONTEXT
2001
Springer
15 years 8 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
158
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
140
click to vote
ISPAN
2008
IEEE
15 years 10 months ago
2008
IEEE
- Many peer-to-peer file sharing systems have been proposed to take the locality and heterogeneity into account. The two-layered architecture is one of the most widespread systems ...
133
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...
115
Voted
ACL
2008
15 years 5 months ago
2008
Underspecification-based algorithms for processing partially disambiguated discourse structure must cope with extremely high numbers of readings. Based on previous work on dominan...