3653 search results - page 567 / 731 » On Recognizable Timed Languages |
174
click to vote
IWMM
2007
Springer
16 years 7 days ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...
154
click to vote
MODELS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
159
click to vote
SAS
2007
Springer
16 years 6 days ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
146
Voted
UIC
2007
Springer
16 years 6 days ago
2007
Springer
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
168
click to vote
UM
2007
Springer
16 years 6 days ago
2007
Springer
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...