Sciweavers

1490 search results - page 253 / 298
» Interactive semantics
Sort
View
ICTAI
1993
IEEE
13 years 11 months ago
Concrete Browsing of a Graphical Toolkit Library
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
Denys Duchier
SSD
1993
Springer
152views Database» more  SSD 1993»
13 years 11 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
CAV
2009
Springer
239views Hardware» more  CAV 2009»
13 years 11 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
CIBCB
2007
IEEE
13 years 11 months ago
Associative Artificial Neural Network for Discovery of Highly Correlated Gene Groups Based on Gene Ontology and Gene Expression
Abstract-- The advance of high-throughput experimental technologies poses continuous challenges to computational data analysis in functional and comparative genomics studies. Gene ...
Ji He, Xinbin Dai, Xuechun Zhao
DEBS
2007
ACM
13 years 11 months ago
Towards a common API for publish/subscribe
Over the last decade a wide range of publish/subscribe (pub/ sub) systems have come out of the research community. However, there is little consensus on a common pub/sub API, whic...
Peter R. Pietzuch, David M. Eyers, Samuel Kounev, ...