743 search results - page 73 / 149 » Constraint Programming Architectures: Review and a New Propo... |
170
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— In this paper, we propose an ontology specification for JavaBean programs, the object component model of Java. Our specification is written using the DAML+OIL languag...
179
click to vote
CE
2007
15 years 6 months ago
2007
Web-based education and training provides a new paradigm for imparting knowledge; students can access the learning material anytime by operating remotely from any location. Web3D ...
187
click to vote
ACMSE
2006
ACM
16 years 9 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
180
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
152
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We present a new generic method for vascular segmentation of angiography. Angiography is used for the medical diagnosis of arterial diseases. To facilitate an effective a...