130 search results - page 25 / 26 » A Formal Way from Text to Code Templates |
103
click to vote
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
109
click to vote
AAAI
2010
14 years 10 months ago
2010
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
CHI
2002
ACM
15 years 10 months ago
2002
ACM
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
114
click to vote
ESWA
2006
14 years 9 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
101
click to vote
IJSWIS
2006
14 years 9 months ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...