11395 search results - page 2059 / 2279 » Beyond computer science |
207
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
201
Voted
FCSC
2010
15 years 4 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
197
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In material science and engineering, the grain structure inside a super-alloy sample determines its mechanical and physical properties. In this paper, we develop a new Multichannel...
186
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
214
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Event-driven programming is used in many fields of modern Computer Science. In event-driven programming languages user interacts with a program by triggering the events. We propo...