Sciweavers

275 search results - page 14 / 55
» Delimited dynamic binding
Sort
View
JELIA
1998
Springer
13 years 12 months ago
A Resolution Calculus for Dynamic Semantics
Appeared in: Dix, J., del Cerro, F. L., and Furbach, U., editors, Logics in Artificial Intelligence (JELIA'98), Lecture Notes in Artificial Intelligence 1489, Springer, pages...
Christof Monz, Maarten de Rijke
AIMS
2007
Springer
14 years 1 months ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
BIBE
2003
IEEE
121views Bioinformatics» more  BIBE 2003»
14 years 29 days ago
Time Series Analysis of Gene Expression and Location Data
We develop a method for integrating time series expression profiles and factor-gene binding data to quantify dynamic aspects of gene regulation. We estimate latencies for transcr...
Chen-Hsiang Yeang, Tommi Jaakkola
ASPDAC
2000
ACM
120views Hardware» more  ASPDAC 2000»
14 years 1 days ago
Data memory minimization by sharing large size buffers
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
Hyunok Oh, Soonhoi Ha
TOOLS
1999
IEEE
13 years 12 months ago
Towards Integration of State Machines and Object-Oriented Languages
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
Ole Lehrmann Madsen