Sciweavers

1335 search results - page 80 / 267
» The Consistency of Web Conversations
Sort
View
WWW
2009
ACM
15 years 10 months ago
Towards intent-driven bidterm suggestion
In online advertising, pervasive in commercial search engines, advertisers typically bid on few terms, and the scarcity of data makes ad matching difficult. Suggesting additional ...
William Chang, Patrick Pantel, Ana-Maria Popescu, ...
FROCOS
2009
Springer
15 years 4 months ago
Automating Theories in Intuitionistic Logic
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
Guillaume Burel
ISCAS
2007
IEEE
124views Hardware» more  ISCAS 2007»
15 years 4 months ago
CMOS Current-controlled Oscillators
— The work presented in this paper is about the design of current-controlled oscillators (ICO). Two ICOs are proposed. Aiming at reducing the duration of the short-circuit curren...
Junhong Zhao, Chunyan Wang
HPCC
2007
Springer
15 years 4 months ago
Systolic Routing in an Optical Ring with Logarithmic Shortcuts
Abstract. We present an all-optical ring network architecture with logarithmic shortcuts and a systolic routing protocol for it. An r-dimensional optical ring network with logarith...
Risto Honkanen, Juha-Pekka Liimatainen
UIST
2005
ACM
15 years 3 months ago
Physical embodiments for mobile communication agents
This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
Stefan Marti, Chris Schmandt