1153 search results - page 225 / 231 » Compositional Specification Calculus for Information Systems... |
155
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
225
click to vote
ICDE
1998
IEEE
16 years 3 months ago
1998
IEEE
We have developed a MultiMedia Visual Information Seeking (MMVIS) Environment that is the first system to support an integrated approach to the direct manipulation specification o...
124
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
129
click to vote
CAIP
2005
Springer
15 years 7 months ago
2005
Springer
In order to achieve precise, accurate and reliable tracking of human movement, a 3D human model that is very similar to the subject is essential. In this paper, we present a new sy...
143
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...