Sciweavers

1210 search results - page 146 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
CEC
2010
IEEE
13 years 10 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»
13 years 10 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»
13 years 9 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»
13 years 8 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»
13 years 8 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