Sciweavers

2143 search results - page 195 / 429
» Linking Representation with Meaning
Sort
View
CORR
2008
Springer
121views Education» more  CORR 2008»
15 years 6 months ago
Graph Algorithms for Improving Type-Logical Proof Search
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
Richard Moot
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 6 months ago
Social networks that matter: Twitter under the microscope
Scholars, advertisers and political activists see massive online social networks as a representation of social interactions that can be used to study the propagation of ideas, soc...
Bernardo A. Huberman, Daniel M. Romero, Fang Wu
CAGD
2006
97views more  CAGD 2006»
15 years 6 months ago
Conditions for use of a non-selfintersection conjecture
Abstract. Volino and Thalmann have published a conjecture proposing sufficient conditions for non-selfintersection of surfaces. Such conditions may be used in solid modeling, compu...
Lars-Erik Andersson, Neil F. Stewart, Malika Zidan...
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 6 months ago
Evocation and elaboration of solutions: Different types of problem-solving actions. An empirical study on the design of an aeros
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
Willemien Visser
DSS
2006
116views more  DSS 2006»
15 years 6 months ago
Matching knowledge elements in concept maps using a similarity flooding algorithm
Concept mapping systems used in education and knowledge management emphasize flexibility of representation to enhance learning and facilitate knowledge capture. Collections of con...
Byron Marshall, Hsinchun Chen, Therani Madhusudan