Sciweavers

11030 search results - page 1867 / 2206
» Generative Sound Models
Sort
View
ISMVL
2009
IEEE
107views Hardware» more  ISMVL 2009»
16 years 1 months ago
Regular Encodings from Max-CSP into Partial Max-SAT
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial MaxSAT instances. First, we obtain new direct and (minimal) support en...
Josep Argelich, Alba Cabiscol, Inês Lynce, F...
ICPR
2010
IEEE
16 years 1 months ago
Automatic Pathology Annotation on Medical Images: A Statistical Machine Translation Framework
Large number of medical images are produced daily in hospitals and medical institutions, the needs to efficiently process, index, search and retrieve these images are great. In t...
Tianxia Gong, Shimiao Li, Chew-Lim Tan, Boon Chuan...
AI
2009
Springer
16 years 1 months ago
-: A Semantic Web Based Knowledge Representation and Context-Driven Morphing Framework
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
Sajjad Hussain
AIME
2009
Springer
16 years 1 months ago
Providing Objective Feedback on Skill Assessment in a Dental Surgical Training Simulator
Dental students devote several years to the acquisition of sufficient psychomotor skills to prepare them for entry-level dental practice. Traditional methods of dental surgical ski...
Phattanapon Rhienmora, Peter Haddawy, Siriwan Sueb...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 1 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
« Prev « First page 1867 / 2206 Last » Next »