6704 search results - page 563 / 1341 » Testing Scenario-Based Models |
158
click to vote
ICFEM
2007
Springer
16 years 1 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
248
click to vote
BIBE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper discusses an ontology based language modeling text mining approach to the annotation of protein community. Communities appear to play an important role in the functional...
194
click to vote
GECCO
2005
Springer
16 years 19 days ago
2005
Springer
This paper presents an approach to combine competent crossover and mutation operators via probabilistic model building. Both operators are based on the probabilistic model buildin...
340
click to vote
OOPSLA
2004
Springer
16 years 14 days ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
220
click to vote
IUI
2003
ACM
16 years 10 days ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...