Sciweavers

3082 search results - page 509 / 617
» its 2004
Sort
View
CORR
2004
Springer
176views Education» more  CORR 2004»
15 years 6 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
ECIR
2011
Springer
14 years 9 months ago
Combining Global and Local Semantic Contexts for Improving Biomedical Information Retrieval
In the context of biomedical information retrieval (IR), this paper explores the relationship between the document’s global context and the query’s local context in an attempt ...
Duy Dinh, Lynda Tamine
GECCO
2004
Springer
112views Optimization» more  GECCO 2004»
15 years 11 months ago
Some Issues on the Implementation of Local Search in Evolutionary Multiobjective Optimization
This paper discusses the implementation of local search in evolutionary multiobjective optimization (EMO) algorithms for the design of a simple but powerful memetic EMO algorithm. ...
Hisao Ishibuchi, Kaname Narukawa
155
Voted
WSC
2004
15 years 7 months ago
Factors Affecting the Expectation of Casualties in the Virtual Range Toxicity Model
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
José A. Sepúlveda, Luis C. Rabelo, J...
COMGEO
2004
ACM
15 years 6 months ago
Tiling space and slabs with acute tetrahedra
We show it is possible to tile three-dimensional space using only tetrahedra with acute dihedral angles. We present several constructions to achieve this, including one in which a...
David Eppstein, John M. Sullivan, Alper Üng&o...