2694 search results - page 97 / 539 » Frege's New Science |
153
click to vote
ICMT
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners f...
166
click to vote
SPIN
2009
Springer
16 years 28 days ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
135
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
148
click to vote
ESCIENCE
2006
IEEE
16 years 14 days ago
2006
IEEE
: A relatively new meta-heuristic, known as extremal optimisation (EO), is based on the evolutionary science notion that poorly performing genes of an individual are replaced by ra...
158
click to vote
HICSS
2006
IEEE
16 years 14 days ago
2006
IEEE
In recent papers and a book [1], [2], we have investigated diverse types of knowledge creation processes based on the concept of Creative Space (a metamodel of knowledge creation ...