Sciweavers

1159 search results - page 197 / 232
» On The Next Move in Programming
Sort
View
DAGSTUHL
2003
13 years 11 months ago
Components, Features, and Agents in the ABC
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
Tiziana Margaria
BMCBI
2006
150views more  BMCBI 2006»
13 years 10 months ago
CGAT: a comparative genome analysis tool for visualizing alignments in the analysis of complex evolutionary changes between clos
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
Ikuo Uchiyama, Toshio Higuchi, Ichizo Kobayashi
MONET
2008
77views more  MONET 2008»
13 years 9 months ago
On Relay Node Placement and Assignment for Two-tiered Wireless Networks
Wireless networks that operate on batteries are imposed with energy constraints and long distance communications between nodes are not desirable. Implementing Relay Nodes (RNs) can...
Wenxuan Guo, Xin-Ming Huang, Wenjing Lou, Cao Lian...
AI
2011
Springer
13 years 4 months ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...
JLP
2010
96views more  JLP 2010»
13 years 4 months ago
An overview of the K semantic framework
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
Grigore Rosu, Traian-Florin Serbanuta