Sciweavers

11722 search results - page 235 / 2345
» How Developers Develop Features
Sort
View
DALT
2006
Springer
15 years 10 months ago
Programming Declarative Goals Using Plan Patterns
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
Jomi Fred Hübner, Rafael H. Bordini, Michael ...
STTT
2010
122views more  STTT 2010»
15 years 4 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
ICPR
2006
IEEE
16 years 7 months ago
Feature selection for linear support vector machines
Feature selection is attracted much interest from researchers in many fields such as pattern recognition and data mining. In this paper, a novel algorithm for feature selection is...
Zhizheng Liang, Tuo Zhao
TRECVID
2008
15 years 7 months ago
UEC at TRECVID 2008 High Level Feature Task
In this paper, we describe our approach and results for high-level feature extraction task (HLF) at TRECVID2008. This year, our focus is to develop a framework which fuses a numbe...
Zhiyuan Tang, Keiji Yanai
COLING
1990
15 years 7 months ago
Generation for Dialogue Translation Using Typed Feature Structure Unification
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
Yoshihiro Ueda, Kiyoshi Kogure