4835 search results - page 85 / 967 » Intelligent Selection Tools |
163
click to vote
NAR
2007
15 years 6 months ago
2007
SplicePort is a web-based tool for splice-site analysis that allows the user to make splice-site predictions for submitted sequences. In addition, the user can also browse the ric...
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
163
click to vote
TELSYS
2002
15 years 6 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
179
click to vote
PROLAMAT
2001
15 years 8 months ago
2001
: In an ideal scenario of intelligent machine tools [18] the human mechanist was almost replaced by the controller. During the last decade many efforts have been made to get closer...
185
click to vote
ICTAI
2005
IEEE
16 years 7 days ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...