1569 search results - page 147 / 314 » Programming contest strategy |
135
click to vote
WSCG
2001
15 years 4 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
124
click to vote
JOT
2010
15 years 1 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
125
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
166
click to vote
ICFEM
2009
Springer
15 years 28 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
109
click to vote
ICCAD
2004
IEEE
16 years 2 days ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...