Sciweavers

2268 search results - page 318 / 454
» The Essence of Form Abstraction
Sort
View
PLDI
1995
ACM
15 years 5 months ago
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
Alexander Aiken, Manuel Fähndrich, Raph Levie...
ECAIW
1994
Springer
15 years 5 months ago
Representing and Executing Agent-Based Systems
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
Michael Fisher
87
Voted
CMSB
2009
Springer
15 years 5 months ago
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...
Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, ...
ACCV
2010
Springer
15 years 4 months ago
Identifying Surprising Events in Videos Using Bayesian Topic Models
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...
Avishai Hendel, Daphna Weinshall, Shmuel Peleg
DLOG
2007
15 years 4 months ago
Optimizing Tableau Reasoning in ALC Extended with Uncertainty
Abstract. There has been an increased interest in recent years to incorporate uncertainty in Description Logics (DLs), and a number of proposals have been put forward for modeling ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri