Sciweavers

2880 search results - page 128 / 576
» Types are calling conventions
Sort
View
151
Voted
CSL
2004
Springer
15 years 6 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
DM
2000
130views more  DM 2000»
15 years 6 months ago
On a conjecture of Keedwell and the cycle double cover conjecture
At the 16th British Combinatorial Conference (1997), Cameron introduced a new concept called 2-simultaneous coloring. He used this concept to reformulate a conjecture of Keedwell ...
Mohammad Mahdian, Ebadollah S. Mahmoodian, Amin Sa...
ICLP
2011
Springer
14 years 9 months ago
Implementation of Axiomatic Language
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
Walter W. Wilson
AINA
2008
IEEE
16 years 22 days ago
Adaptive QoS-Aware Resource Management in Heterogeneous Wireless Networks
The integration of different IP-based wireless networks, such as WiMAX and WiFi, becomes a 2-tier heterogeneous wireless networks is a more and more popular issue. In order to supp...
I-Shyan Hwang, Bor-Jiunn Hwang, K. Robert Lai, Lin...
CVPR
2003
IEEE
16 years 8 months ago
Directional Histogram Model for Three-Dimensional Shape Similarity
In this paper, we propose a novel shape representation we call Directional Histogram Model (DHM). It captures the shape variation of an object and is invariant to scaling and rigi...
Xinguo Liu, Robin Sun, Sing Bing Kang, Heung-Yeung...