Sciweavers

1341 search results - page 107 / 269
» Logic for Modeling Product Structure
Sort
View
135
Voted
ICLP
1995
Springer
15 years 7 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
117
Voted
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 3 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
WSCG
2001
77views more  WSCG 2001»
15 years 4 months ago
Physics-Enhanced L-Systems
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
Hansrudi Noser, S. Rudolph, Peter Stucki
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 8 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
FPL
2007
Springer
150views Hardware» more  FPL 2007»
15 years 7 months ago
Discrete Event Simulation of Molecular Dynamics with Configurable Logic
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
Josh Model, Martin C. Herbordt