2777 search results - page 423 / 556 » Example centric programming |
CPAIOR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored the advantages of combining CP and OR techniques to formulate and s...
104
click to vote
HUC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
116
click to vote
ICMI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
134
click to vote
ISSAC
2004
Springer
15 years 7 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
IWAN
2004
Springer
15 years 7 months ago
2004
Springer
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...