Sciweavers

6434 search results - page 1043 / 1287
» Model Transformations with Reference Models
Sort
View
134
Voted
JTRES
2009
ACM
15 years 8 months ago
A technology compatibility kit for safety critical Java
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
Lei Zhao, Daniel Tang, Jan Vitek
132
Voted
SPIRE
2009
Springer
15 years 8 months ago
Faster Algorithms for Sampling and Counting Biological Sequences
Abstract. A set of sequences S is pairwise bounded if the Hamming distance between any pair of sequences in S is at most 2d. The Consensus Sequence problem aims to discern between ...
Christina Boucher
CIKM
2001
Springer
15 years 8 months ago
Merging Techniques for Performing Data Fusion on the Web
Data fusion on the Web refers to the merging, into a unified single list, of the ranked document lists, which are retrieved in response to a user query by more than one Web search...
Theodora Tsikrika, Mounia Lalmas
EMMCVPR
2001
Springer
15 years 8 months ago
Articulated Object Tracking via a Genetic Algorithm
Within a human motion analysis system, body parts are modeled by simple virtual 3D rigid objects. Its position and orientation parameters at frame t + 1 are estimated based on the ...
Jairo Rocha, Arnau Mir
ICN
2001
Springer
15 years 8 months ago
Supporting QoS for Legacy Applications
Internet is widely known for lacking any kind of mechanism for the provisioning of Quality of Service (QoS) guarantees. The Internet community currently concentrates its efforts on...
Charilaos A. Tsetsekas, Sotirios Maniatis, Iakovos...
« Prev « First page 1043 / 1287 Last » Next »