3653 search results - page 64 / 731 » Analyzing language development from a network approach |
CSCW
2010
ACM
15 years 7 months ago
2010
ACM
In this note we introduce a new methodology that combines tools from social language processing and network analysis to identify socially situated relationships between individual...
119
click to vote
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
JWSR
2006
14 years 10 months ago
2006
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
125
click to vote
LAWEB
2009
IEEE
15 years 5 months ago
2009
IEEE
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
HCI
2007
15 years 5 days ago
2007
This paper discusses how the importance of social networks for performing everyday tasks in the developing world leads to new considerations of the utility of social networking sof...