Sciweavers

2253 search results - page 251 / 451
» Computing with Realizational Morphology
Sort
View
JUCS
2010
152views more  JUCS 2010»
15 years 1 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
TRANSCI
2010
98views more  TRANSCI 2010»
15 years 1 months ago
The Vehicle Routing Problem with Stochastic Demand and Duration Constraints
Time considerations have been largely ignored in the study of vehicle routing problems with stochastic demands, even though they are crucial in practice. We show that tour duratio...
Alan L. Erera, Juan C. Morales, Martin W. P. Savel...
ICASSP
2011
IEEE
14 years 10 months ago
Analytical performance assessment of 1-D Structured Least Squares
— In this paper, we derive the analytical performance of 1-D standard ESPRIT and 1-D Unitary ESPRIT using one iteration of Structured Least Squares to solve the shift invariance ...
Florian Roemer, Martin Haardt
AQUILEIA
2011
261views more  AQUILEIA 2011»
14 years 6 months ago
Sharing Data on the Aquileia Heritage: Proposals for a Research Project
Basic ideas are presented of a multi-national research project to share data about the Roman city of Aquileia employing the Information and Communication Technologies (ICT). A Cons...
Vito Roberto, Paolo Omero
ICMCS
2008
IEEE
439views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Framework for virtual collaboration emphasized by awareness information and asynchronous interaction
In this paper, we propose a framework which allows remote users to form conversation groups based on spatial relationship in a shared virtual space. Our proposed framework can tra...
Tomo Matsuda, Naoki Shibata, Keiichi Yasumoto, Min...