3552 search results - page 623 / 711 » Proof theory in the abstract |
148
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
156
click to vote
STACS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The perfect matching problem is known to be in ¶, in randomized NC, and it is hard for NL. Whether the perfect matching problem is in NC is one of the most prominent ope...
187
click to vote
TELETRAFFIC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
183
click to vote
WAW
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We study the relation between PageRank and other parameters of information networks such as in-degree, out-degree, and the fraction of dangling nodes. We model this relat...
172
click to vote
CIBCB
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...