1999 search results - page 319 / 400 » Dependently Typed Grammars |
142
click to vote
JOIN
2006
15 years 6 months ago
2006
Reputation mechanisms for detecting and punishing free-riders in ad hoc networks depend on the local detection of selfish behavior. Although naive selfish strategies based on drop...
175
click to vote
ENTCS
2007
15 years 6 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
175
click to vote
JSS
2006
15 years 6 months ago
2006
Recent progress of computer and network technologies makes it possible to store and retrieve a large volume of multimedia data in many applications. In such applications, efficien...
122
click to vote
ET
2007
15 years 6 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
136
click to vote
MR
2006
15 years 6 months ago
2006
Power semiconductor devices under short-circuit are submitted to high current and high voltage simultaneously that induce high electrical and thermal stresses. Several types of ev...