Sciweavers

2777 search results - page 203 / 556
» Example centric programming
Sort
View
CATA
2003
15 years 2 months ago
A Restaurant Finder using Belief-Desire-Intention Agent Model and Java Technology
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
Dongqing Lin, Thomas P. Wiggen, Chang-Hyun Jo
76
Voted
BMCBI
2007
160views more  BMCBI 2007»
15 years 28 days ago
Dendroscope: An interactive viewer for large phylogenetic trees
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...
Daniel H. Huson, Daniel C. Richter, Christian Raus...
112
Voted
CL
2010
Springer
15 years 28 days ago
Cost-driven autonomous mobility
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
107
Voted
MP
2006
119views more  MP 2006»
15 years 23 days ago
Approximate extended formulations
Mixed integer programming (MIP) formulations are typically tightened through the use of a separation algorithm and the addition of violated cuts. Using extended formulations involv...
Mathieu Van Vyve, Laurence A. Wolsey
114
Voted
IJISEC
2007
149views more  IJISEC 2007»
15 years 22 days ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers