1438 search results - page 143 / 288 » An Expressive Extension of TLC |
152
click to vote
UC
2007
Springer
16 years 19 days ago
2007
Springer
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
165
click to vote
ECBS
2006
IEEE
16 years 17 days ago
2006
IEEE
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developer’s extensive experience. A w...
237
click to vote
GLOBECOM
2006
IEEE
16 years 17 days ago
2006
IEEE
— A non-parametric, low-complexity algorithm for accurate and simultaneous localization of multiple sensors from scarce and imperfect ranging information is proposed. The techniq...
153
click to vote
QEST
2006
IEEE
16 years 16 days ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
179
click to vote
DASFAA
2005
IEEE
16 years 4 days ago
2005
IEEE
: Semi-structured data has become more and more attention-getting with the emergence of XML, and it has aroused much enthusiasm for integrating XML and SQL in database community. D...