8874 search results - page 75 / 1775 » A New Implementation of Automath |
130
Voted
FPL
1997
Springer
15 years 7 months ago
1997
Springer
Protocol Boosters are functional elements, inserted anddeleted fromnetwork protocol stacks on an as-neededbasis. The Protocol Booster design methodology attempts to improve end-to-...
117
Voted
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
123
Voted
USENIX
2007
15 years 5 months ago
2007
The fuzzy file block matching technique (fuzzy matching for short), was first proposed for opportunistic use of Content Addressable Storage. Fuzzy matching aims to increase the ...
125
Voted
WSC
2007
15 years 5 months ago
2007
This study proposes a multi-agent modeling and simulation approach using EGGBM (E-Government Group Behavior Model) to research complex group behavior in Egovernment implementation...
180
click to vote
WCE
2008
15 years 4 months ago
2008
Abstract Emotion, personality and individual differences are those effective parameters on human's activities such as learning. People with different personalities show differ...