1005 search results - page 133 / 201 » Patterns for Refinement Automation |
113
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
110
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
125
Voted
EWCBR
2004
Springer
15 years 8 months ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
133
Voted
ICWL
2004
Springer
15 years 8 months ago
2004
Springer
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
140
Voted
AGILEDC
2003
IEEE
15 years 8 months ago
2003
IEEE
As part of the delivery an automated hub for a postal operator, the Solystic company has to build a complex and feature rich Information System that supports a highly automated pr...