Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Sawaki, Yasuyo (3)
Akin, Faith W. (2)
BEIJING INST OF TECH (CHINA) (2)
Carey, Michael (2)
Dawkins, Erin (2)
Education (2)
Harrington, Michael (2)
Helmke, Andreas (2)
Jiang, Peng (2)
Murnane, Owen D. (2)
more
Year:
2009 (82)
Medium
Type
BLLDB-Access:
free (82)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
3
4
5
Hits 61 – 80 of 82
61
Subjective Visual Vertical Test
Akin, Faith W.
;
Murnane, Owen D.
In: ETSU Faculty Works (2009)
BASE
Show details
62
SATEL — A test intention language for object-oriented specifications of reactive systems ...
Silva Lúcio, Levi Pedro
. - : Université de Genève, 2009
BASE
Show details
63
Relevance Feedback based on Constrained Clustering: FDU at TREC 09
Wang, Bingqing
;
Huang, Xuanjing
In: DTIC (2009)
BASE
Show details
64
A Journey in Entity Related Retrieval for TREC 2009
Pamarthi, Jagadish
;
Zhou, Guangxu
;
Bayrak, Coskun
In: DTIC (2009)
BASE
Show details
65
Lucene for n-grams using the ClueWeb Collection
Newby, Gregory B.
;
Fallen, Chris
;
McCormick, Kylie
In: DTIC (2009)
BASE
Show details
66
BIT at TREC 2009 Faceted Blog Distillation Task
Jiang, Peng
;
Yang, Qing
;
Zhang, Chunxia
...
In: DTIC (2009)
BASE
Show details
67
Proactive Intelligence (PAINT) Simulated Exploration of Executable Design Strategies (SEEDS)
Alonso, Rafael
;
Brueckner, Sven
;
Yang, Diane
...
In: DTIC (2009)
BASE
Show details
68
IRRA at TREC 2009: Index Term Weighting based on Divergence From Independence Model
Dincer, Bekir T.
;
Kocabase, Ilker
;
Karaoglan, Bahar
In: DTIC (2009)
BASE
Show details
69
POSTECH at TREC 2009 Blog Track: Top Stories Identification
Lee, Yeha
;
Jung, Hun-young
;
Song, Woosang
...
In: DTIC (2009)
BASE
Show details
70
PRIS at 2009 Relevance Feedback track: Experiments in Language Model for Relevance Feedback
Li, Si
;
Li, Xinsheng
;
Zhang, Hao
...
In: DTIC (2009)
BASE
Show details
71
Novel Topic Impact on Authorship Attribution
Caver, Johnnie F.
In: DTIC (2009)
BASE
Show details
72
Experiments on Related Entity Finding Track at TREC 2009
Yang, Qing
;
Jiang, Peng
;
Zhang, Chunxia
...
In: DTIC (2009)
BASE
Show details
73
Facet Classification of Blogs: Know-Center at the TREC 2009 Blog Distillation Task
Lex, Elisabeth
;
Granitzer, Michael
;
Juffinger, Andreas
In: DTIC (2009)
BASE
Show details
74
An Investigation of Intelligibility Between West-Central Thailand Pwo Karen and Northern Pwo Karen
Dawkins, Erin
;
Phillips, Audra
. - 2009
BASE
Show details
75
A Sociolinguistic Survey of Pwo Karen in Northern Thailand
Dawkins, Erin
;
Phillips, Audra
. - 2009
BASE
Show details
76
Chinese University Students’ Motivation, Anxiety, Global Awareness, Linguistic Confidence, and English Test Performance: a Correlational and Causal Investigation
Zheng, Ying
. - 2009
BASE
Show details
77
SATEL — A test intention language for object-oriented specifications of reactive systems
Silva Lúcio, Levi Pedro
. - : Université de Genève, 2009
Abstract:
Cette thèse traite de la problématique de la génération de jeux de tests à partir d'une spécification logicielle. En particulier nous nous intéresserons au langage de spécification CO-OPN(Concurrent Object-Oriented Petri Nets) [1, 2], basé sur les réseaux algébriques étendus grâce à des méchanismes objets et de distribution. Pour traiter ce problème nous avons dû revoir le langage CO-OPN. En effet la sémantique du langage ayant été définie par itérations successives, celle-ci s'est avérée inadaptée à la génération de jeux de tests. Nous proposons à travers notre travail une nouvelle version de CO-OPN où la syntaxe et la sémantique ont été complètement revues et qui intègrent les travaux précédents où des descriptions précises et formelles ont été employés.
Keyword:
Formal methods
;
info:eu-repo/classification/ddc/025.063
;
Language sémantics
;
Model based testing
;
Object oriented specifications
;
Reactive systems
;
Test intentions
URL:
https://archive-ouverte.unige.ch/unige:2498
https://doi.org/10.13097/archive-ouverte/unige:2498
BASE
Hide details
78
Exploring Factors Associated With ESL/ELD Students’ Performance on the Ontario Secondary School Literacy Test
Zheng, Ying
. - 2009
BASE
Show details
79
A comparative study on differences in language output between mainstream and CLIL students at two Austrian colleges of engineering, crafts and arts
Jexenflicker, Silvia
. - 2009
BASE
Show details
80
Exploring the complexity of second language writers' strategy use and performance on an integrated writing test through structural equation modeling and qualitative approaches
Yang, Hui-chun
. - 2009
BASE
Show details
Page:
1
2
3
4
5
Mobile view
All
Catalogues
UB Frankfurt Linguistik
7
IDS Mannheim
0
OLC Linguistik
30
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
54
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
28
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern