Sciweavers

1134 search results - page 207 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
ICLP
1999
Springer
15 years 1 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
SIGMOD
2006
ACM
145views Database» more  SIGMOD 2006»
15 years 9 months ago
Automatic client-server partitioning of data-driven web applications
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...
Nicholas Gerner, Fan Yang 0002, Alan J. Demers, Jo...
87
Voted
SMA
2009
ACM
149views Solid Modeling» more  SMA 2009»
15 years 4 months ago
A sketching interface for feature curve recovery of free-form surfaces
In this paper, we present a semi-automatic approach to efficiently and robustly recover the characteristic feature curves of a given free-form surface. The technique supports a s...
Ellen Dekkers, Leif Kobbelt, Richard R. Pawlicki, ...
86
Voted
BMCBI
2005
97views more  BMCBI 2005»
14 years 9 months ago
Evolutionary distance estimation and fidelity of pair wise sequence alignment
Background: Evolutionary distances are a critical measure in comparative genomics and molecular evolutionary biology. A simulation study was used to examine the effect of alignmen...
Michael S. Rosenberg
DT
2006
180views more  DT 2006»
14 years 9 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...