Sciweavers

319 search results - page 28 / 64
» Foundational Aspects of Syntax
Sort
View
KDD
2004
ACM
114views Data Mining» more  KDD 2004»
14 years 8 months ago
Mining the space of graph properties
Existing data mining algorithms on graphs look for nodes satisfying specific properties, such as specific notions of structural similarity or specific measures of link-based impor...
Glen Jeh, Jennifer Widom
CADE
2006
Springer
14 years 7 months ago
Dynamic Logic with Non-rigid Functions
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
Bernhard Beckert, André Platzer
ICSE
2005
IEEE-ACM
14 years 7 months ago
The challenges of software engineering education
We discuss the technical skills that a software engineer should possess. We take the viewpoint of a school of engineering and put the software engineer's education in the wid...
Carlo Ghezzi, Dino Mandrioli
HICSS
2009
IEEE
155views Biometrics» more  HICSS 2009»
14 years 2 months ago
Explaining the Continuous Use of Social Virtual Worlds: An Applied Theory of Planned Behavior Approach
Social virtual worlds (SVWs) have become increasingly popular spaces for social interaction. To be attractive to engage with, maintaining a sufficient base of active users is a si...
Jani Merikivi, Matti Mäntymäki
MDAI
2007
Springer
14 years 1 months ago
Lindig's Algorithm for Concept Lattices over Graded Attributes
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
Radim Belohlávek, Bernard De Baets, Jan Out...