Sciweavers

633 search results - page 108 / 127
» System synthesis utilizing a layered functional model
Sort
View
SAINT
2003
IEEE
15 years 5 months ago
A Proposal of the Person-centered Approach for Personal Task Management
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...
Ikki Ohmukai, Hideaki Takeda, Mitsunori Miki
CHI
1996
ACM
15 years 3 months ago
Silk from a Sow's Ear: Extracting Usable Structures from the Web
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
Peter Pirolli, James E. Pitkow, Ramana Rao
98
Voted
POPL
2010
ACM
15 years 9 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
TFS
2008
90views more  TFS 2008»
14 years 11 months ago
Fuzzy Interpolation and Extrapolation: A Practical Approach
Fuzzy interpolation does not only help to reduce the complexity of fuzzy models, but also makes inference in sparse rule-based systems possible. It has been successfully applied to...
Zhiheng Huang, Qiang Shen
TWC
2008
125views more  TWC 2008»
14 years 11 months ago
Packet level performance analysis in wireless user-relaying networks
In this paper, the impact of user relaying on the behavior of a relay node, which acts as the source node at the same time, is analyzed in a wireless relay network at the packet le...
Jun Cai, Attahiru Sule Alfa, Pinyi Ren, Xuemin She...