Sciweavers

6794 search results - page 1290 / 1359
» Semantics of Visual Languages
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 11 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
NAR
2011
211views Computer Vision» more  NAR 2011»
12 years 10 months ago
mESAdb: microRNA Expression and Sequence Analysis Database
MicroRNA expression and sequence analysis database (http://konulab.fen.bilkent.edu.tr/mirna/) (mESAdb) is a regularly updated database for the multivariate analysis of sequences a...
Koray D. Kaya, Gökhan Karakülah, Cengiz ...
SIGMOD
1997
ACM
136views Database» more  SIGMOD 1997»
13 years 12 months ago
STRUDEL: A Web-site Management System
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...
Mary F. Fernández, Daniela Florescu, Jaewoo...
CG
2005
Springer
13 years 7 months ago
Interpretive OpenGL for computer graphics
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
Bo Chen, Harry H. Cheng
PEPM
2009
ACM
15 years 7 months ago
Static Consistency Checking for Verilog Wire Interconnects
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
Cherif Salama, Gregory Malecha, Walid Taha, Jim Gr...
« Prev « First page 1290 / 1359 Last » Next »