Sciweavers

7913 search results - page 1441 / 1583
» Information Collection on a Graph
Sort
View
DESRIST
2009
Springer
109views Education» more  DESRIST 2009»
15 years 11 months ago
The constitutive and the instrumental in social design
Simon’s The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS). Simon’s contributions in the same vo...
Murali Venkatesh
ECSQARU
2009
Springer
15 years 11 months ago
A Simple Modal Logic for Reasoning about Revealed Beliefs
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
Mohua Banerjee, Didier Dubois
GEOS
2009
Springer
15 years 11 months ago
Bottom-Up Gazetteers: Learning from the Implicit Semantics of Geotags
As directories of named places, gazetteers link the names to geographic footprints and place types. Most existing gazetteers are managed strictly top-down: entries can only be adde...
Carsten Keßler, Patrick Maué, Jan Tor...
ESOP
2001
Springer
15 years 11 months ago
Typestate Checking of Machine Code
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
Zhichen Xu, Thomas W. Reps, Barton P. Miller
PROFES
2001
Springer
15 years 11 months ago
Building an Experience Base for Software Engineering: A Report on the First CeBASE eWorkshop
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
Victor R. Basili
« Prev « First page 1441 / 1583 Last » Next »