Sciweavers

144227 search results - page 28459 / 28846
» Using the
Sort
View
JAIR
2007
117views more  JAIR 2007»
15 years 5 months ago
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
Renata Vieira, Álvaro F. Moreira, Michael W...
BMCBI
2005
173views more  BMCBI 2005»
15 years 5 months ago
Phydbac "Gene Function Predictor" : a gene annotation tool based on genomic context analysis
Background: The large amount of completely sequenced genomes allows genomic context analysis to predict reliable functional associations between prokaryotic proteins. Major method...
François Enault, Karsten Suhre, Jean-Michel...
BMCBI
2005
80views more  BMCBI 2005»
15 years 5 months ago
Gene finding in the chicken genome
Background: Despite the continuous production of genome sequence for a number of organisms, reliable, comprehensive, and cost effective gene prediction remains problematic. This i...
Eduardo Eyras, Alexandre Reymond, Robert Castelo, ...
JAIR
2007
118views more  JAIR 2007»
15 years 5 months ago
Individual and Domain Adaptation in Sentence Planning for Dialogue
One of the biggest challenges in the development and deployment of spoken dialogue systems is the design of the spoken language generation module. This challenge arises from the n...
Marilyn A. Walker, Amanda Stent, François M...
JAIR
2007
132views more  JAIR 2007»
15 years 5 months ago
New Inference Rules for Max-SAT
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
Chu Min Li, Felip Manyà, Jordi Planes
« Prev « First page 28459 / 28846 Last » Next »