6274 search results - page 607 / 1255 » Proofs, Programs, Processes |
207
click to vote
PPDP
2010
Springer
15 years 5 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...
272
Voted
Book
"MPEG-4 Structured Audio (MP4-SA) is an ISO/IEC standard (edited by Eric Scheirer) that specifies sound not as audio data, but as a computer program that generates audio when ...
292
click to vote
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
211
click to vote
ISBRA
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
184
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...