Sciweavers

16606 search results - page 3064 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
CORR
2010
Springer
112views Education» more  CORR 2010»
15 years 4 months ago
On Finding Frequent Patterns in Event Sequences
Given a directed acyclic graph with labeled vertices, we consider the problem of finding the most common label sequences ("traces") among all paths in the graph (of some...
Andrea Campagna, Rasmus Pagh
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 4 months ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
CPHYSICS
2010
88views more  CPHYSICS 2010»
15 years 4 months ago
Distributed computing as a virtual supercomputer: Tools to run and manage large-scale BOINC simulations
Distributed computing (DC) projects tackle large computational problems by exploiting the donated processing power of thousands of volunteered computers, connected through the Int...
Toni Giorgino, Matt J. Harvey, Gianni De Fabritiis
DKE
2010
167views more  DKE 2010»
15 years 4 months ago
The consistency extractor system: Answer set programs for consistent query answering in databases
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
Mónica Caniupán Marileo, Leopoldo E....
CSI
2008
95views more  CSI 2008»
15 years 4 months ago
Feasibility and infrastructural study of AR interfacing and intuitive simulation on 3D nonlinear systems
High-fidelity simulations with intuitive user interfaces expedite real-world tasks. Augmented Reality (AR), enables 3D computer-generated entities to coexist in users' view o...
Seungjun Kim, Nitaigour-Premchand Mahalik, Anind K...
« Prev « First page 3064 / 3322 Last » Next »