5810 search results - page 479 / 1162 » An Approach to Programming Based on Concepts |
172
click to vote
IFIP
2003
Springer
16 years 1 days ago
2003
Springer
A fundamental issue in the design of a wireless sensor network is to devise mechanisms to make efficient use of its energy, and thus, extend its lifetime. The information about th...
171
click to vote
AAAI
2011
14 years 6 months ago
2011
The standard approach to computing an optimal mixed strategy to commit to is based on solving a set of linear programs, one for each of the follower’s pure strategies. We show t...
177
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
This paper summarizes experiences from an open source project that builds a free Haskell IDE based on Eclipse (an open source IDE platform). Eclipse is extensible and has proved t...
147
click to vote
WEBI
2007
Springer
16 years 28 days ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
182
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...