Sciweavers

10304 search results - page 1821 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
ICIP
2010
IEEE
15 years 4 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
15 years 4 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»
15 years 4 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
15 years 2 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
15 years 1 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 »