2409 search results - page 359 / 482 » Logical systems for structured specifications |
138
Voted
VLC
2002
15 years 3 months ago
2002
More powerful personal computers and higher network bandwidth has meant that graphics has become increasingly important on the web. Graph-based diagrams are one of the most import...
160
Voted
EKAW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
155
Voted
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
132
click to vote
CICLING
2001
Springer
15 years 8 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
212
click to vote
GIS
2007
ACM
16 years 4 months ago
2007
ACM
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...