5234 search results - page 390 / 1047 » Method Components - Rationale Revealed |
118
Voted
IVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-verbal communication, or “body language”, is a critical component in constructing believable virtual characters. Most often, body language is implemented by a set...
135
Voted
GD
2005
Springer
15 years 10 months ago
2005
Springer
We present a reduction method that reduces a graph to a smaller core graph which behaves invariant with respect to planarity measures like crossing number, skewness, and thickness....
142
Voted
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
139
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
169
Voted
TYPES
2000
Springer
15 years 8 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...