3116 search results - page 491 / 624 » Positively dependent types |
211
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Requirements to embedded systems increase steadily. In parallel, also the performance of the processors used in these systems is improved leading to multithreaded and/or multicore...
248
click to vote
LDTA
2010
15 years 6 months ago
2010
Workflow management systems guide and monitor tasks performed by humans and computers. The workflow specifications are usually expressed in special purpose (graphical) formalisms....
162
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
The success of spoken dialog applications depends strongly on the quality of the semantic confidence measure that determines the selection of the dialog strategy. However, the sem...
170
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
152
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Preference aggregation in a multiagent setting is a central issue in both human and computer contexts. In this paper, we study in terms of complexity the vulnerability of preferen...