31387 search results - page 453 / 6278 » Abstracts |
177
click to vote
ACS
2008
15 years 7 months ago
2008
Abstract Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigate...
170
click to vote
BMCBI
2008
15 years 7 months ago
2008
ent> <title> <p>UT-ORNL-KBRIN Bioinformatics Summit 2008</p> </title> <editor>Eric C Rouchka and Julia Krushkal</editor> <note>Meeting ...
188
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
241
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...
144
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
perception of domain concepts. We have run this experiment on the 367 645 English abstracts of PASCAL 2005-2006 bibliographic database (http://www.inist.fr) and compared the struct...