5718 search results - page 1049 / 1144 » Modeling Rule Precision |
144
Voted
JOT
2008
15 years 2 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
137
Voted
IANDC
2007
15 years 2 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
133
Voted
IPM
2007
15 years 2 months ago
2007
A recommender system has an obvious appeal in an environment where the amount of on-line information vastly outstrips any individual’s capability to survey. Music recommendation...
143
Voted
IVC
2007
15 years 2 months ago
2007
In this article a new approach is given for real-time visual tracking of a class of articulated non-rigid objects in 3D. The main contribution of this paper consists in symmetrica...
113
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: As the use of microarray technology becomes more prevalent it is not unusual to find several laboratories employing the same microarray technology to identify genes re...