Sciweavers

215 search results - page 10 / 43
» Church-Rosser Made Easy
Sort
View
FECS
2006
142views Education» more  FECS 2006»
13 years 8 months ago
CFD Graphical Interface in Matlab
- The use of computational methods for solving partial differential equations in the field of Heat Transfer is crucial. However, the actual user friendly commercial applications, f...
Tiago Pinho, Senhorinha Teixeira
WSCG
2004
106views more  WSCG 2004»
13 years 8 months ago
Recognition of Occluded Objects Using Curvature
New approaches of object representation reliable for partially occluded objects recognition are introduced in this article. Objects are represented by their boundaries, which are ...
Filip Krolupper
CJ
2000
85views more  CJ 2000»
13 years 7 months ago
Arguments and Results
If an object oriented program is a collection of communicating objects, then the objects' protocols de ne the languages the program speaks. Unfortunately, protocols are di cu...
James Noble
SEW
2003
IEEE
14 years 20 days ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
COOPIS
2004
IEEE
13 years 11 months ago
Intellectual Property Rights Management Using a Semantic Web Information System
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
Roberto García, Rosa Gil, Jaime Delgado