192 search results - page 26 / 39 » Towards a Precise Semantics for Object-Oriented Modeling Tec... |
102
click to vote
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...
137
click to vote
SOCIALCOM
2010
14 years 9 months ago
2010
Theme network is a semantic network of document specific themes. So far Natural Language Processing (NLP) research patronized much of topic based summarizer system, unable to captu...
210
Voted
POPL
2009
ACM
16 years 10 days ago
2009
ACM
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
TCS
2010
14 years 10 months ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...