677 search results - page 75 / 136 » Dependent Types from Counterexamples |
JIS
2008
14 years 9 months ago
2008
The fragmentation of knowledge management (KM) as a field and as an area of research poses serious theoretical challenges for researchers. The viability of KM rests on how the com...
107
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Though social network site use is often treated as a monolithic activity, in which all time is equally “social” and its impact the same for all users, we examine how Facebook ...
115
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Analysis of data from high-throughput experiments depends on the availability of well-structured data that describe the assayed biomolecules. Procedures for obtaining ...
DFG
2009
Springer
15 years 4 months ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
COLING
2002
14 years 9 months ago
2002
The LinGO Redwoods initiative is a seed activity in the design and development of a new type of treebank. While several medium- to large-scale treebanks exist for English (and for...