Results 41 to 50 of about 1,081 (78)
A crisis of authority in scientific discourse. [PDF]
Nichols MD, Petzold AM.
europepmc +1 more source
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction [PDF]
RR version = http://hal.inria.fr/hal-00780521/enInternational audienceIn this paper, we propose an enhancement of the compilation of synchronous programs with a combined numerical-Boolean abstraction.
Feautrier, Paul+2 more
core +3 more sources
A Fair Power Domain for Actor Computations [PDF]
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the ...
Clinger, Will
core
Programming and Proving with Distributed Protocols [PDF]
Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to implement correctly. This difficulty arises from two main challenges: (a) correctly implementing core system components (e.g., two-phase commit), so all ...
Sergey, I, Tatlock, Z, Wilcox, JR
core
Inducing a Semantically Annotated Lexicon via EM-Based Clustering
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation.
Beil, Franz+4 more
core +1 more source
The article reviews the conceptual foundations of advertising polysemy – the occurrence of different interpretations for the same advertising message.
Puntoni, S., Ritson, M., Schroeder, J.E.
core +1 more source
Executing Domain-Specific Models in Eclipse: KLEPTO - KIELER leveraging Ptolemy [PDF]
We present a two-level approach to extend the abstract syntax of domain-specific models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for executable models with a generic user interface allows the
Fuhrmann, Hauke+3 more
core
What to Read: A Biased Guide to AI Literacy for the Beginner [PDF]
Acknowledgements. It was Ken Forbus' idea, and he, Howie Shrobe, Dan Weld, and John Batali read various drafts. Dan Huttenlocher and Tom Knight helped with the speech recognition section.
Agre, Philip E.
core
Reference tracking and non-canonical referring expressions in Indonesian [PDF]
Adams, Nikki B.+2 more
core +1 more source
Information Systems and Web Information Systems: A Methodological Perspective
International audienceThe Development of Information Systems (ISD) is a complex activity that requires methodological support. Current ISD methods are predominantly following an object driven paradigm that allows us to capture the static as well as the ...
Rolland, Colette
core +2 more sources