4770 search results - page 215 / 954 » Flexible Type Analysis |
141
click to vote
JSAI
2005
Springer
16 years 19 days ago
2005
Springer
In a blog network, there are many relations such as comment, trackback, and so on. We consider that if the relations are related to user’s reading activity, we can extract useful...
149
click to vote
KES
2005
Springer
16 years 19 days ago
2005
Springer
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
190
click to vote
TAP
2010
Springer
16 years 6 days ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
164
click to vote
INFOVIS
2002
IEEE
16 years 2 days ago
2002
IEEE
A new method for visualizing the class of incrementally evolving networks is presented. In addition to the intermediate states of the network it conveys the nature of the change b...
164
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...