Sciweavers

8266 search results - page 1274 / 1654
» Information About the Journal
Sort
View
EDUTAINMENT
2006
Springer
15 years 10 months ago
Designing Social Navigation for a Virtual Community of Practice
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
Wen Xu, Karel Kreijns, Jun Hu
ESOP
2006
Springer
15 years 10 months ago
Pure Pattern Calculus
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
C. Barry Jay, Delia Kesner
GECCO
2006
Springer
144views Optimization» more  GECCO 2006»
15 years 10 months ago
Towards estimating nadir objective vector using evolutionary approaches
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...
Kalyanmoy Deb, Shamik Chaudhuri, Kaisa Miettinen
3DIM
2001
IEEE
15 years 10 months ago
Reconstruction of Complex Environments by Robust Pre-aligned ICP
This paper proposes a technique for three-dimensional reconstruction of an underwater environment from range views acquired by an acoustic camera. The final target of the work lie...
Vittorio Murino, Lucca Ronchetti, Umberto Castella...
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
15 years 10 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
« Prev « First page 1274 / 1654 Last » Next »