1983 search results - page 343 / 397 » User Interface Modelling with UML |
138
click to vote
EUROPAR
2007
Springer
15 years 7 months ago
2007
Springer
To understand the principles of information processing in the brain, we depend on models with more than 105 neurons and 109 connections. These networks can be described as graphs o...
141
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
111
click to vote
EUROMICRO
2004
IEEE
15 years 6 months ago
2004
IEEE
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
126
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
123
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...