Sciweavers

10615 search results - page 1955 / 2123
» Dynamic topic models
Sort
View
140
Voted
ENTCS
2007
128views more  ENTCS 2007»
15 years 3 months ago
Optimisation Validation
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
David Aspinall, Lennart Beringer, Alberto Momiglia...
144
Voted
JSA
2006
113views more  JSA 2006»
15 years 3 months ago
A power-efficient TCAM architecture for network forwarding tables
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
Taskin Koçak, Faysal Basci
136
Voted
JUCS
2006
146views more  JUCS 2006»
15 years 3 months ago
Health Monitoring and Assistance to Support Aging in Place
: To many people, home is a sanctuary. For those people who need special medical care, they may need to be pulled out of their home to meet their medical needs. As the population a...
Diane J. Cook
141
Voted
JVCA
2006
87views more  JVCA 2006»
15 years 3 months ago
Tour into the picture with water surface reflection and object movements
Given a still picture, tour into the picture (TIP) generates a walk-through animation of a 3D scene constructed from the picture. In this paper, we generalize TIP to deal with wat...
Jinho Park, Nambin Heo, Sunghee Choi, Sung Yong Sh...
130
Voted
KI
2006
Springer
15 years 3 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
« Prev « First page 1955 / 2123 Last » Next »