Sciweavers

975 search results - page 131 / 195
» Using language as related stimuli for concept generation
Sort
View
IEE
2008
115views more  IEE 2008»
15 years 18 days ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
91
Voted
DPD
2002
126views more  DPD 2002»
15 years 11 days ago
HiCoMo: High Commit Mobile Transactions
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
Minsoo Lee, Abdelsalam Helal
92
Voted
COGSCI
2004
70views more  COGSCI 2004»
15 years 12 days ago
Artificial syntactic violations activate Broca's region
In the present study, using event-related functional magnetic resonance imaging, we investigated a group of participants on a grammaticality classification task after they had bee...
Karl Magnus Petersson, Christian Forkstam, Martin ...
118
Voted
ESWS
2008
Springer
15 years 2 months ago
Contextual and Metadata-based Approach for the Semantic Annotation of Heterogeneous Documents
We present SHIRI-Annot an automatic ontology-driven and unsupervised approach for the semantic annotation of documents which contain well structured parts and not well structured o...
Mouhamadou Thiam, Nathalie Pernelle, Nacéra...
POPL
2000
ACM
15 years 5 months ago
Authentication Primitives and Their Compilation
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
Martín Abadi, Cédric Fournet, George...