Sciweavers

10916 search results - page 199 / 2184
» On Constructive Connectives and Systems
Sort
View
198
Voted
INAP
2001
Springer
15 years 11 months ago
iML: A Logic-based Framework for Constructing Graphical User Interface on Mobile Agents
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
Naoki Fukuta, Nobuaki Mizutani, Tadachika Ozono, T...
ECCV
2004
Springer
16 years 8 months ago
Recognition by Probabilistic Hypothesis Construction
We present a probabilistic framework for recognizing objects in images of cluttered scenes. Hundreds of objects may be considered and searched in parallel. Each object is learned f...
Pierre Moreels, Michael Maire, Pietro Perona
POPL
2002
ACM
16 years 7 months ago
Towards automatic construction of staged compilers
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
Matthai Philipose, Craig Chambers, Susan J. Eggers
HICSS
2008
IEEE
126views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Cross-Cultural Investigation of the Goal-Attainment-Likelihood Construct and Its Effect on Satisfaction with Technology Suppor
1 Collaboration technologies often provide benefits to teams working together to achieve a common goal. Such technologies may be abandoned, however, if users are dissatisfied with...
Bruce A. Reinig, Robert O. Briggs, Gert-Jan de Vre...
ICMCS
2006
IEEE
106views Multimedia» more  ICMCS 2006»
16 years 20 days ago
Constructing Robust and Resilient Framework for Cooperative Video Streaming
Peer-to-peer based streaming has been a promising solution for large-scale video broadcasting over the Internet. In a peer-to-peer video streaming framework, peers cooperate with ...
Shi Lu, Michael R. Lyu