1943 search results - page 218 / 389 » Ordering Default Theories |
218
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
The amount of textual data that is available for researchers and businesses to analyze is increasing at a dramatic rate. This reality has led IS researchers to investigate various...
200
click to vote
ACTA
2007
15 years 7 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
177
Voted
AICOM
2010
15 years 7 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
184
click to vote
ALIFE
2007
15 years 7 months ago
2007
This review essay surveys recent literature in the history of science, literary theory, anthropology, and art criticism dedicated to exploring how the artificial life enterprise ha...
219
click to vote
AROBOTS
2010
15 years 7 months ago
2010
We present a new bio-inspired control strategy for an autonomous underwater vehicle by constructing coupled nonlinear oscillators, similar to the animal central pattern generators ...