7661 search results - page 1413 / 1533 » Languages and the Computing Profession |
151
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
133
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ontology classification--the computation of subsumption hierarchies for classes and properties--is one of the most important tasks for OWL reasoners. Based on the algorit...
168
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
Text data pertaining to socio-technical networks often are analyzed separately from relational data, or are reduced to the fact and strength of the flow of information between node...
160
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
132
click to vote
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. While classical approaches to unsupervised morphology acquisition often rely on metrics based on information theory for identifying morphemes, we describe a novel approac...