Sciweavers

4008 search results - page 425 / 802
» An expressive language of signatures
Sort
View
187
Voted
DGO
2007
152views Education» more  DGO 2007»
15 years 8 months ago
Identifying and classifying subjective claims
To understand the subjective documents, for example, public comments on the government’s proposed regulation, opinion identification and classification is required. Rather than ...
Namhee Kwon, Liang Zhou, Eduard H. Hovy, Stuart W....
SIMUTOOLS
2008
15 years 8 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
IM
1997
15 years 8 months ago
Active Objects in TMN
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
Anastasia Vassila, George Pavlou, Graham Knight
208
Voted
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
15 years 8 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty
ACTA
2010
109views more  ACTA 2010»
15 years 7 months ago
On regular temporal logics with past
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
Christian Dax, Felix Klaedtke, Martin Lange