1431 search results - page 59 / 287 » The complexity of random ordered structures |
147
click to vote
ALGORITHMICA
2008
15 years 3 months ago
2008
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supe...
110
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
115
click to vote
BIS
2006
15 years 4 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
135
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
125
click to vote
CAGD
2006
15 years 3 months ago
2006
We introduce a new family of subdivision schemes called jet subdivision schemes. Jet subdivision schemes are a natural generalization of the commonly used subdivision schemes for ...