1421 search results - page 279 / 285 » The First and Second Max-SAT Evaluations |
IMCSIT
2010
13 years 5 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
In this work we consider the problem of monitoring information streams for anomalies in a scalable and efficient manner. We study the problem in the context of network streams wher...
MICCAI
2010
Springer
13 years 5 months ago
2010
Springer
Groupwise registration has been widely investigated in recent years due to its importance in analyzing population data in many clinical applications. To our best knowledge, most o...
RTAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...