Sciweavers

11063 search results - page 384 / 2213
» On the existence of universal models
Sort
View
TES
2001
Springer
15 years 11 months ago
BizBuilder - An E-Services Framework Targeted for Internet Workflow
One of the fundamental requirements for solutions to succeed in the business-to-business e-commerce domain is the ability to integrate seamlessly or inter-operate with diverse syst...
Raja Krithivasan, Abdelsalam Helal
ICLP
1999
Springer
15 years 11 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
164
Voted
VISUALIZATION
1996
IEEE
15 years 11 months ago
Visualization of Laser Confocal Microscopy Datasets
This paper presents an example of how existing visualization methods can be successfully applied { after minor modi cations { for allowing new, sometimes unexpected insight in sci...
Georgios Sakas, Michael G. Vicker, Peter Jörg...
SIGCSE
1992
ACM
178views Education» more  SIGCSE 1992»
15 years 11 months ago
A graphical computer simulator for systems programming courses
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...
Mark Newsome, Cherri M. Pancake
169
Voted
EDBT
2009
ACM
164views Database» more  EDBT 2009»
15 years 10 months ago
Efficient identification of starters and followers in social media
Activity and user engagement in social media such as web logs, wikis, online forums or social networks has been increasing at unprecedented rates. In relation to social behavior i...
Michael Mathioudakis, Nick Koudas