Sciweavers

3927 search results - page 217 / 786
» Emotional Concept Development
Sort
View
JASIS
2006
153views more  JASIS 2006»
13 years 9 months ago
CiteSpace II: Detecting and visualizing emerging trends and transient patterns in scientific literature
This article describes the latest development of a generic approach to detecting and visualizing emerging trends and transient patterns in scientific literature. The work makes su...
Chaomei Chen
JCB
2007
104views more  JCB 2007»
13 years 9 months ago
Counting Coalescent Histories
Given a species tree and a gene tree, a valid coalescent history is a list of the branches of the species tree on which coalescences in the gene tree take place. I develop a recur...
Noah A. Rosenberg
FGCS
2000
83views more  FGCS 2000»
13 years 9 months ago
A Graph-based Ant System and its convergence
: A general framework for solving combinatorial optimization problems heuristically by the Ant System approach is developed. The framework is based on the concept of a construction...
Walter J. Gutjahr
ICSE
2010
IEEE-ACM
13 years 7 months ago
Synthesized essence: what game jams teach about prototyping of new software products
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
Juergen Musil, Angelika Schweda, Dietmar Winkler, ...
CADE
2003
Springer
14 years 9 months ago
Proof Search and Proof Check for Equational and Inductive Theorems
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
Eric Deplagne, Claude Kirchner, Hélè...