2797 search results - page 219 / 560 » Control Structures |
136
click to vote
HT
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes our approach of using spatial hypertext as a means separated from an end representation for hypertext authoring. By taking advantage of the power of rich inte...
111
Voted
AAAI
2008
15 years 5 months ago
2008
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
131
click to vote
ENTCS
2011
14 years 10 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
135
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we aim to design decision-making mechanisms for an autonomous robot equipped with simple sensors, which integrates over time its perceptual experience in order to in...
119
click to vote
CSR
2006
Springer
15 years 7 months ago
2006
Springer
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...