984 search results - page 53 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
112
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
113
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
163
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
: Personalized Education (PE) emphasizes the importance of individual differences in learning. To deliver personalized e-learning services and content, PE encompasses the abilities...
124
Voted
AAAI
2010
15 years 5 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
143
Voted
SDL
2007
15 years 5 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...