Sciweavers

21108 search results - page 3981 / 4222
» A General Class of Models of
Sort
View
127
Voted
JAIR
2007
117views more  JAIR 2007»
15 years 19 days 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...
138
Voted
JAR
2007
104views more  JAR 2007»
15 years 19 days ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
BMCBI
2005
123views more  BMCBI 2005»
15 years 19 days ago
PSI-BLAST-ISS: an intermediate sequence search tool for estimation of the position-specific alignment reliability
Background: Protein sequence alignments have become indispensable for virtually any evolutionary, structural or functional study involving proteins. Modern sequence search and com...
Mindaugas Margelevicius, Ceslovas Venclovas
109
Voted
TMI
2008
149views more  TMI 2008»
15 years 19 days ago
Shape-Driven Three-Dimensional Watersnake Segmentation of Biological Membranes in Electron Tomography
Abstract--Due to the significant complexity of membrane morphology and the generally poor image quality in electron tomographic volumes, current automatic methods for segmentation ...
Hieu Tat Nguyen, Qiang Ji
110
Voted
TNN
2008
178views more  TNN 2008»
15 years 19 days ago
IMORL: Incremental Multiple-Object Recognition and Localization
This paper proposes an incremental multiple-object recognition and localization (IMORL) method. The objective of IMORL is to adaptively learn multiple interesting objects in an ima...
Haibo He, Sheng Chen
« Prev « First page 3981 / 4222 Last » Next »