Sciweavers

7690 search results - page 1373 / 1538
» On the semantics of informational independence
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Verifying Pointer and String Analyses with Region Type Systems
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...
Lennart Beringer, Robert Grabowski, Martin Hofmann
SEMWEB
2010
Springer
15 years 4 months ago
Preference-Based Web Service Composition: A Middle Ground between Execution and Search
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...
Shirin Sohrabi, Sheila A. McIlraith
SEMWEB
2010
Springer
15 years 4 months ago
Forgetting Fragments from Evolving Ontologies
Abstract. Ontologies underpin the semantic web; they define the concepts and their relationships contained in a data source. An increasing number of ontologies are available on-lin...
Heather S. Packer, Nicholas Gibbins, Nicholas R. J...
SIGDIAL
2010
15 years 4 months ago
Comparing Local and Sequential Models for Statistical Incremental Natural Language Understanding
Incremental natural language understanding is the task of assigning semantic representations to successively larger prefixes of utterances. We compare two types of statistical mod...
Silvan Heintze, Timo Baumann, David Schlangen
SRDS
2010
IEEE
15 years 4 months ago
DKSM: Subverting Virtual Machine Introspection for Fun and Profit
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection so...
Sina Bahram, Xuxian Jiang, Zhi Wang, Mike Grace, J...
« Prev « First page 1373 / 1538 Last » Next »