Sciweavers

10615 search results - page 1467 / 2123
» Dynamic topic models
Sort
View
AGTIVE
2007
Springer
15 years 11 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
COST
2009
Springer
205views Multimedia» more  COST 2009»
15 years 11 months ago
Ergodic HMM-UBM System for On-Line Signature Verification
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
Enrique Argones-Rúa, David Pérez-Pi&...
HPCC
2007
Springer
15 years 11 months ago
Resource Aggregation and Workflow with Webcom
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
Oisín Curran, Paddy Downes, John Cunniffe, ...
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 11 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
AGILEDC
2004
IEEE
15 years 11 months ago
An Initial Exploration of the Relationship Between Pair Programming and Brooks' Law
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...
Laurie A. Williams, Anuja Shukla, Annie I. Ant&oac...
« Prev « First page 1467 / 2123 Last » Next »