Sciweavers

1134 search results - page 118 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
RECOMB
2002
Springer
16 years 6 months ago
Significance Of inter-species matches when evolutionary rate varies
We develop techniques to estimate the statistical significance of gap-free alignments between two genomic DNA sequences, using human-mouse alignments as an example. The sequences ...
Jia Li, Webb Miller
ICIA
2007
15 years 8 months ago
The Smart Personal Assistant: An Overview
The Smart Personal Assistant (SPA) enables users to access e-mail and calendar information using natural language dialogue through a PDA platform. The user interface to the SPA mu...
Wayne Wobcke, Anh Nguyen, Van Hai Ho, Alfred Krzyw...
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
16 years 12 days ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
EELC
2006
124views Languages» more  EELC 2006»
15 years 10 months ago
How Grammar Emerges to Dampen Combinatorial Search in Parsing
Abstract. According to the functional approach to language evolution (inspired by cognitive linguistics and construction grammar), grammar arises to deal with issues in communicati...
Luc Steels, Pieter Wellens
IJCAI
2007
15 years 7 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang