Sciweavers

2314 search results - page 101 / 463
» What's in a model
Sort
View
SYNTHESE
2010
59views more  SYNTHESE 2010»
13 years 8 months ago
Frege's Begriffsschrift as a lingua characteristica
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...
Tapio Korte
ISMAR
2005
IEEE
14 years 3 months ago
Calibration Errors in Augmented Reality: A Practical Study
This paper confronts some theoretical camera models to reality and evaluates the suitability of these models for effective augmented reality (AR). It analyses what level of accura...
Javier-Flavio Vigueras Gomez, Gilles Simon, Marie-...
SIGUCCS
2003
ACM
14 years 3 months ago
Escaping the quicksand and getting back on the trail of team projects
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...
Steven K. Brawn, Kelly Caye, R. Mark Koan
ECEASST
2010
13 years 5 months ago
Verified Visualisation of Textual Modelling Languages
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...
Fintan Fairmichael, Joseph Kiniry
EDBT
2000
ACM
14 years 1 months ago
A Data Model for Effectively Computable Functions
the research activities. This abstract is to introduce the approach of a data model - EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectiv...
Kevin H. Xu