Sciweavers

10304 search results - page 1821 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
ICIP
2010
IEEE
14 years 12 months ago
Randomized motion estimation
Motion estimation is known to be a non-convex optimization problem. This non-convexity comes from several ambiguities in motion estimation such as the aperture problem, or fast mo...
Sylvain Boltz, Frank Nielsen
CLEIEJ
2010
14 years 11 months ago
Logic Programming: Can the learning and teaching process be improved apart from standards adopted by most professors and establi
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 ...
Ricardo Luiz B. L. Campos
FCSC
2010
170views more  FCSC 2010»
14 years 11 months ago
Formal verification of concurrent programs with read-write locks
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...
Ming Fu, Yu Zhang, Yong Li
CVPR
2011
IEEE
14 years 10 months ago
A Multichannel Edge-Weighted Centroidal Voronoi Tessellation Algorithm for 3D Superalloy Image Segmentation
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...
Y. Cao, L. Ju, Q. Zou, C. Qu, S. Wang
AI
2011
Springer
14 years 9 months ago
A logic for reasoning about counterfactual emotions
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 ...
Emiliano Lorini, François Schwarzentruber
« Prev « First page 1821 / 2061 Last » Next »