Sciweavers

6740 search results - page 1202 / 1348
» An s -Hamiltonian Line Graph Problem
Sort
View
ICALP
2004
Springer
15 years 9 months ago
On the Expressive Power of Monadic Least Fixed Point Logic
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
Nicole Schweikardt
139
Voted
SWAT
2004
Springer
153views Algorithms» more  SWAT 2004»
15 years 9 months ago
Melding Priority Queues
We show that any priority queue data structure that supports insert, delete, and find-min operations in pq(n) time, when n is an upper bound on the number of elements in the prio...
Ran Mendelson, Robert Endre Tarjan, Mikkel Thorup,...
COMPGEOM
2010
ACM
15 years 9 months ago
On degrees in random triangulations of point sets
We study the expected number of interior vertices of degree i in a triangulation of a point set S, drawn uniformly at random from the set of all triangulations of S, and derive va...
Micha Sharir, Adam Sheffer, Emo Welzl
120
Voted
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 9 months ago
A Set Theory Based Approach on Applying Domain Semantics to XML Structures
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
Wolfgang Schuetzelhofer, Karl M. Göschka
ICCAD
1999
IEEE
115views Hardware» more  ICCAD 1999»
15 years 8 months ago
Fast performance analysis of bus-based system-on-chip communication architectures
This paper addresses the problem of efficient and accurate performance analysis to drive the exploration and design of bus-based System-on-Chip (SOC) communication architectures. ...
Kanishka Lahiri, Anand Raghunathan, Sujit Dey
« Prev « First page 1202 / 1348 Last » Next »