Sciweavers

3921 search results - page 401 / 785
» Transforming Models with ATL
Sort
View
SMA
2010
ACM
195views Solid Modeling» more  SMA 2010»
15 years 7 months ago
Piecewise 3D Euler spirals
3D Euler spirals are visually pleasing, due to their property of having their curvature and their torsion change linearly with arc-length. This paper presents a novel algorithm fo...
David Ben-Haim, Gur Harary, Ayellet Tal
SIAMCOMP
2002
153views more  SIAMCOMP 2002»
15 years 6 months ago
A Decision Procedure for Unitary Linear Quantum Cellular Automata
Linear quantum cellular automata were introduced recently as one of the models of quantum computing. A basic postulate of quantum mechanics imposes a strong constraint on any quan...
Christoph Dürr, Miklos Santha
JDCTA
2010
169views more  JDCTA 2010»
15 years 1 months ago
The Partner Selection in Virtual Enterprise based on BDI Agent
This paper's research is based on the model of BDI Agent, carries out the research of the modeling and simulating the Virtual Enterprise's partner selection using Swarm ...
Wang Yu, Zhu Feng, Geng Hua, Zhuwang Jing
GI
2005
Springer
16 years 9 days ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
ECIR
2009
Springer
16 years 4 months ago
Risk-Aware Information Retrieval
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
Jianhan Zhu, Jun Wang, Michael J. Taylor, Ingemar ...