Sciweavers

1210 search results - page 146 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CEC
2010
IEEE
15 years 5 months ago
A novel framework to elucidate core classes in a dataset
In this paper we present an original framework to extract representative groups from a dataset, and we validate it over a novel case study. The framework specifies the application ...
Daniele Soria, Jonathan M. Garibaldi
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
15 years 5 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...
JALC
2006
87views more  JALC 2006»
15 years 4 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
TWC
2008
141views more  TWC 2008»
15 years 3 months ago
Bursty transmission and glue pouring: on wireless channels with overhead costs
Power efficiency is a capital issue in the study of mobile wireless nodes owing to constraints on their battery size and weight. In practice, especially for low-power nodes, it is ...
Pamela Youssef-Massaad, Lizhong Zheng, Muriel M&ea...
LRE
2007
62views more  LRE 2007»
15 years 3 months ago
Corpus-based generation of head and eyebrow motion for an embodied conversational agent
Humans are known to use a wide range of non-verbal behaviour while speaking. Generating naturalistic embodied speech for an artificial agent is therefore an application where tech...
Mary Ellen Foster, Jon Oberlander