Sciweavers

1622 search results - page 17 / 325
» A Collection of Definitions of Intelligence
Sort
View
AISC
2008
Springer
15 years 1 months ago
Logic-Free Reasoning in Isabelle/Isar
Traditionally a rigorous mathematical document consists of a sequence of definition
Stefan Berghofer, Makarius Wenzel
SMA
1993
ACM
124views Solid Modeling» more  SMA 1993»
15 years 3 months ago
Intelligent form feature interaction management in a cellular modeling scheme
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
Rafael Bidarra, José Carlos Teixeira
CCIA
2009
Springer
15 years 24 days ago
Seeking Acronym Definitions: a Web-based Approach
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
David Sánchez, David Isern
ACRI
2004
Springer
15 years 5 months ago
Improved Cell-DEVS Model Definition in CD++
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
Alejandro López, Gabriel A. Wainer
ICCV
2009
IEEE
16 years 4 months ago
Scene Categorization from Low Definition Video
In this paper we present a new method for categorizing video sequences capturing different scene classes. This can be seen as a generalization of previous work on scene classific...
Paritosh Gupta, Sai Sankalp Arrabolu, Mathew Brown...