Sciweavers

1925 search results - page 191 / 385
» Dynamic Typing
Sort
View
FSTTCS
2010
Springer
13 years 7 months ago
Generalizing the powerset construction, coalgebraically
a is an abstract framework for the uniform study of different kinds of dynamical systems. An endofunctor F determines both the type of systems (F-coalgebras) and a notion of behav...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
ODBIS
2007
Springer
150views Database» more  ODBIS 2007»
14 years 3 months ago
An Effective SPARQL Support over Relational Databases
Supporting SPARQL queries over relational databases becomes an active topic recently. However, it has not received enough consideration when SPARQL queries include restrictions on...
Jing Lu, Feng Cao, Li Ma, Yong Yu, Yue Pan
OOPSLA
2007
Springer
14 years 3 months ago
Compile-time execution structure of object-oriented programs with practical ownership domain annotations
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
Marwan Abi-Antoun
ICWE
2011
Springer
13 years 1 months ago
Learning Semantic Relationships between Entities in Twitter
In this paper, we investigate whether semantic relationships between entities can be learnt from analyzing microblog posts published on Twitter. We identify semantic links between ...
Ilknur Celik, Fabian Abel, Geert-Jan Houben
ISCAS
2008
IEEE
120views Hardware» more  ISCAS 2008»
14 years 4 months ago
A hybrid CMOS APS pixel for wide-dynamic range imaging applications
— In this paper, a new hybrid photodiode-photogate (HPDPG) CMOS APS pixel for high-dynamic range imaging applications is presented. The HPDPG pixel composes of a biased photogate...
Suat U. Ay