Sciweavers

1384 search results - page 168 / 277
» Physical limits of inference
Sort
View
GRAPHICSINTERFACE
2007
14 years 11 months ago
Improved skeleton extraction and surface generation for sketch-based modeling
For the generation of freeform models, sketching interfaces have raised an increasing interest due to their intuitive approach. It is now possible to infer a 3D model directly fro...
Florian Levet, Xavier Granier
FMOODS
2008
14 years 11 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
ICWS
2008
IEEE
14 years 11 months ago
Generalized Semantics-Based Service Composition
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric capabilities. The underpinning for an organization's us...
Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal ...
ICCE
2007
151views Education» more  ICCE 2007»
14 years 11 months ago
A Diverse and Robust Tutoring System for Medical Problem-Based Learning
: Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. However, faculty ...
Hameedullah Kazi
MKWI
2008
113views Business» more  MKWI 2008»
14 years 11 months ago
A Rule-based Middleware for Business Process Execution
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
Adrian Paschke, Alexander Kozlenkov