1351 search results - page 206 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
170
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Drug-drug interactions are frequently reported in the increasing amount of biomedical literature. Information Extraction (IE) techniques have been devised as a useful ...
166
click to vote
CW
2002
IEEE
15 years 10 months ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
189
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
165
click to vote
MMB
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
163
click to vote
ICCD
2003
IEEE
16 years 2 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...