1724 search results - page 249 / 345 » Abstract Interpreters for Free |
158
click to vote
MST
2010
15 years 4 months ago
2010
atic presentation for a relational structure is, informally, an abstract representation of the elements of that structure by means of a regular language such that the relations ca...
173
click to vote
WRLA
2010
15 years 4 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
181
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
174
click to vote
ACIVS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...
175
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--We design and implement a multicost impairmentaware routing and wavelength assignment algorithm for online traffic. In transparent optical networks the quality of a trans...