1767 search results - page 140 / 354 » An Integrated Model for Cellular Analysis |
200
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
136
click to vote
ECBS
2005
IEEE
16 years 12 hour ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
190
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
160
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...
215
click to vote
AAAI
1994
15 years 7 months ago
1994
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...