4378 search results - page 37 / 876 » On the Complexity of Ordered Colourings |
ASPDAC
2007
ACM
14 years 26 days ago
2007
ACM
In the paper, we develop a systematic methodology for modeling sampled interconnect frequency response data based on spline interpolation. Through piecewise polynomial interpolatio...
FOSSACS
2011
Springer
13 years 10 days ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
ACL
2001
13 years 10 months ago
2001
This paper proposes a description of German word order including phenomena considered as complex, such as scrambling, (partial) VP fronting and verbal pied piping. Our description...