Sciweavers

2863 search results - page 392 / 573
» Computer modelling and natural phenomena
Sort
View
ICALP
2007
Springer
16 years 23 days ago
Co-Logic Programming: Extending Logic Programming with Coinduction
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta
ISVC
2007
Springer
16 years 23 days ago
Image and Volume Segmentation by Water Flow
Abstract. A general framework for image segmentation is presented in this paper, based on the paradigm of water flow. The major water flow attributes like water pressure, surface t...
Xin U. Liu, Mark S. Nixon
IWINAC
2007
Springer
16 years 23 days ago
Gaining Insights into Laser Pulse Shaping by Evolution Strategies
Abstract. We consider the numerical evolutionary optimization of dynamic molecular alignment by shaped femtosecond laser pulses. We study a simplified model of this quantum contro...
Ofer M. Shir, Joost N. Kok, Thomas Bäck, Marc...
HICSS
2006
IEEE
131views Biometrics» more  HICSS 2006»
16 years 20 days ago
Understanding Patterns of Technology Evolution: An Ecosystem Perspective
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
Gediminas Adomavicius, Jesse Bockstedt, Alok Gupta...
SIGIR
2006
ACM
16 years 17 days ago
Combining bidirectional translation and synonymy for cross-language information retrieval
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...
Jianqiang Wang, Douglas W. Oard