Sciweavers

10615 search results - page 1353 / 2123
» Dynamic topic models
Sort
View
KBSE
2000
IEEE
15 years 12 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
186
Voted
PG
2000
IEEE
15 years 12 months ago
Interactive Simulation of Surgical Cuts
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...
Daniel Bielser, Markus H. Gross
205
Voted
ICML
2000
IEEE
15 years 12 months ago
A Bayesian Framework for Reinforcement Learning
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
Malcolm J. A. Strens
176
Voted
ISLPED
2000
ACM
68views Hardware» more  ISLPED 2000»
15 years 12 months ago
Noise-aware power optimization for on-chip interconnect
Realization of high-performance domino logic depends strongly on energy-efficient and noise-tolerant interconnect design in ultra deep sub-micron processes. We characterize the c...
Ki-Wook Kim, Seong-Ook Jung, Unni Narayanan, C. L....
172
Voted
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 12 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
« Prev « First page 1353 / 2123 Last » Next »